Constructing reliable Web applications using atomic actions - Concepedia

Concepedia

Publication | Closed Access

Constructing reliable Web applications using atomic actions

25

Citations

3

References

1997

Year

Mark Little, S. K. Shrivastava, S.J. Caughey, D.B. Ingham

Computer Networks and ISDN Systems

Web ArchitectureEngineeringRuntime VerificationProgram AnalysisVerificationFormal MethodsSystems EngineeringComputer ScienceAtomic ActionsSoftware AnalysisSystem SoftwareWeb EngineeringFormal Verification

References

	Year	Citations

Page 1