Specification structures and propositionsas-types for concurrency (1996)

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