author : K. Mani Chandy

Books

• [Parallel Program Design: a Foundation.] 1988, with Jayadev Misra

Short works

• Towards a Compositional Approach to the Design and Verification of Distributed Systems. 1999. (In FM'99 volume 1 )
• Predicate transformers for composition. 2000. (In Millennial Perspectives in Computer Science )