PODC '92 Proceedings of the eleventh 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
Aspect Oriented Approach for Capturing and Verifying Distributed Properties
Languages: From Formal to Natural
Relaxing property preservation in the refinement of concurrent systems
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |