The quest for compositionality—a survey of assertion-based proof systems for concurrent programs, part I: Concurrency based on shared variables (1985)

by Willem-Paul de Roever
Venue:Proceedings of the IFIP Working Conference “The role of abstract models in computer science