Seminar on Concurrency Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984

Book

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)

Book

Logics of Programs Brooklyn, June 17-19, 1985

Book

Semantics for Concurrency Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK

Book

Current Trends in Concurrency Overviews and Tutorials

Book

CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings

Book

Object-Based Concurrent Computing ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings

Book

Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)

Book

Mathematical Models for the Semantics of Parallelism Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings

Book

CONCUR'99. Concurrency Theory 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings

Book

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings