Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)
Logics of Programs Brooklyn, June 17-19, 1985
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
Current Trends in Concurrency Overviews and Tutorials
CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
Object-Based Concurrent Computing ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)
Mathematical Models for the Semantics of Parallelism Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
CONCUR'99. Concurrency Theory 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings