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

Cached

Download Links

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
Citations:21 - 5 self