Concurrent program design in the extended theory of Owicki and Gries
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
A Possible Connection Between Two Theories: Grammar Systems and Concurrent Programming
Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS
Constructing and Reasoning About Security Protocols Using Invariants
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebraic Approach to Refinement with Fair Choice
Electronic Notes in Theoretical Computer Science (ENTCS)
Calculating and composing progress properties in terms of the leads-to relation
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
An exercise in iterative domain-specific language design
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)
Compositional action system derivation using enforced properties
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Incremental verification of owicki/gries proof outlines using PVS
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Formalising progress properties of non-blocking programs
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Progress in deriving concurrent programs: emphasizing the role of stable guards
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Multiprogram design in the theory of Owicki and Gries
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Derivation of distributed programs in the theory of owicki and gries: an example
IWFM'03 Proceedings of the 6th international conference on Formal Methods
A Possible Connection Between Two Theories: Grammar Systems and Concurrent Programming
Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS
Deriving real-time action systems controllers from multiscale system specifications
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Hi-index | 0.00 |