- Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli
- Formal Aspects of Computing (1995) 7: 550--575 fl 1997 BCS
- Appeared in Itzhak Gilboa, editor, Theoretical Aspects of Rationality and Knowledge, Proceedings of the Seventh Conference (TARK 1998), pages 2941, Morgan Kaufmann, July 1998
- An abridged version appears in: Ajit Pal, Ajay Kshemkalyani, Rajeev Kumar, and Arobinda Gupta, editors, 7th International Workshop on Distributed Computing IWDC 2005, volume 3741 of LNCS, pages 3244 Springer-
- A preliminary version appeared in: Pierre Fraigniaud, editor, DISC 2005 19th International Symposium on Dis-tributed Computing, volume 3724 of LNCS, pages 229243, c Springer-Verlag, September 2005.
- Modal Logics with a Linear Hierarchy of Local Propositional Quanti ers 1
- To appear in: Ajit Pal, Ajay Kshemkalyani, Rajeev Kumar, and Arobinda Gupta, editors, 7th International
- Appeared as: MFCS'96, Proceedings, LNCS 1113, p. 324--335, SpringerVerlag, 1996 Simulation of Specification Statements
- A pure, sound, and complete (in the sense of Cook) Hoare logic for a language with
- A pure, sound, and complete (in the sense of Cook) Hoare logic for a language with
- Appeared in: Robert Nieuwenhuis and Andrei Voronkov, editors, 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001), volume 2250 of LNAI, pages 125141. Springer-Verlag, December
- Appeared in Jerzy Tiuryn, editor, Foundations of Software Science and Computation Structures, volume 1784 of LNCS, pages 114129. c Springer-Verlag, March 2000.
