PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Reasoning about Layered Message Passing Systems
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Aspect Oriented Approach for Capturing and Verifying Distributed Properties
Languages: From Formal to Natural
Safe composition of distributed programs communicating over order-preserving imperfect channels
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Causing communication closure: safe program composition with Non-FIFO channels
DISC'05 Proceedings of the 19th international conference on Distributed Computing
Reasoning about layered message passing systems
Computer Languages, Systems and Structures
| Hi-index | 0.00 |