A superimposition control construct for distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
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
| Hi-index | 0.00 |