Verification of a distributed algorithm (abstract)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Compositional Transformational Design for Concurrent Programs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Simulation Machines for Checking Action System Refinements
Electronic Notes in Theoretical Computer Science (ENTCS)
UML in action: a two-layered interpretation for testing
ACM SIGSOFT Software Engineering Notes
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Event-b decomposition for parallel programs
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Hi-index | 0.00 |