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
Add To MetaCart
Results 1 - 1 of 1

Specification Structures and Propositions-as-Types for Concurrency

by Samson Abramsky, Simon Gay, Rajagopal Nagarajan - Logics for Concurrency: Structure vs. Automata---Proceedings of the VIIIth Banff Higher Order Workshop, volume 1043 of Lecture Notes in Computer Science , 1995
"... Many different notions of "property of interest" and methods of verifying such properties arise naturally in programming. A general framework of "Specification Structures" is presented for combining different notions and methods in a coherent fashion. This is then applied to concurrency in the se ..."
Abstract - Cited by 21 (5 self) - Add to MetaCart
Many different notions of "property of interest" and methods of verifying such properties arise naturally in programming. A general framework of "Specification Structures" is presented for combining different notions and methods in a coherent fashion. This is then applied to concurrency in the setting of Interaction Categories.