K. Mani Chandy;Jayadev Misra
-;-
Towards the construction of distributed detection programs, with an application to distributed termination
Distributed Computing
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)