Specification Structures and Propositions-as-Types for Concurrency (1995)

by Samson Abramsky, Simon Gay, Rajagopal Nagarajan
Venue:Logics for Concurrency: Structure vs. Automata---Proceedings of the VIIIth Banff Higher Order Workshop, volume 1043 of Lecture Notes in Computer Science