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

Documents Related by Co-Citation

928 S.: Categories for the Working Mathematician – Mac Lane - 1998
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
3242 Communication and Concurrency – R Milner - 1989
123 Interaction Categories and the Foundations of Typed Concurrent Programming – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1995
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
625 Light Linear Logic – Jean-yves Girard
1008 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
717 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002