Specification Structures and Propositions−as−Types for Concurrency
S. Abramsky‚ S. Gay and R. Nagarajan
Book Title
Logics for Concurrency: Structure vs. Automata—Proceedings of the VI I Ith Banff Higher Order Workshop
Editor
G. Birtwistle and F. Moller
Pages
5−40
Publisher
Springer−Verlag
Year
1996