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

122 Interaction Categories and the Foundations of Typed Concurrent Programming – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1995
20 Interaction categories (extended abstract – S Abramsky - 1993
34 Integration Categories and Communicating Sequential Processes – S Abramsky - 1994
165 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
3400 Communicating Sequential Processes – C. A. R. Hoare - 1985
251 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
281 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
87 Autonomous categories and linear logic – M Barr - 1991
135 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
921 Categories for the working mathematician – Saunders Mac Lane - 1998
995 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
11 Linear Types for Communicating Processes – S J Gay - 1995
3204 Communication and Concurrency – R Milner - 1989
7 A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems – Richard J. Boulton, Ruth Hardy, Ursula Martin - 2003
1361 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
142 Concurrent Programming in ML – John H Reppy - 1999
331 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
56 A Typed Calculus of Synchronous Processes – Simon Gay, Rajagopal Nagarajan - 1995
615 Light Linear Logic – Jean-yves Girard