The group is interested in Programming language semantics, Theory and practice of concurrent systems, Process algebras, Distributed computing, Program analysis and verification, Logic in computer science, Applications of verification in network models, multiprocessors, and relaxed memory models.
Publications
Divide and Concur: Employing Chandra and Toueg's Consensus Algorithm in a Multi-level Setting Proceedings Article
In: Goutam Chakraborty (Ed.): Distributed Computing and Internet Technology, Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings, pp. 172–183, Springer, 2005.
Effective Chemistry for Synchrony and Asynchrony Proceedings Article
In: Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell (Ed.): Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France, pp. 479–492, Kluwer/Springer, 2004.
Introduction to Operational Semantics Book Section
In: Y. N. Srikant, Priti Shankar (Ed.): The Compiler Design Handbook: Optimizations and Machine Code Generation, pp. 841–890, CRC Press, 2002.
Members
