An Experiment in Program Composition and Proof
Formal Methods in System Design
Program Composition in Isabelle/UNITY
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Towards a Compositional Approach to the Design and Verification of Distributed Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
The specification of distributed objects: liveness and locality
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Adding the leads-to operator to Dijkstra's calculus
ACM SIGPLAN Notices
Verifying mutual exclusion and liveness properties with split preconditions
Journal of Computer Science and Technology
Science of Computer Programming
Ordering of events in two-process concurrent system
ACM SIGSOFT Software Engineering Notes
Modeling fairness and starvation in concurrent systems
ACM SIGSOFT Software Engineering Notes
Modeling of state transition rules and its application
ACM SIGSOFT Software Engineering Notes
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Weakest precondition based modelling and verification of a class of concurrent systems
International Journal of Artificial Intelligence and Soft Computing
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Specifying fault-tolerance using split precondition logic
ICDCN'10 Proceedings of the 11th international conference on Distributed computing and networking
A fixpoint semantics of event systems with and without fairness assumptions
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
| Hi-index | 0.00 |