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

123 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
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
136 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
170 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
930 Categories for the Working Mathematician – S Mac Lane - 1971
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
11 Linear Types for Communicating Processes – S J Gay - 1995
3219 Communication and Concurrency – R Milner - 1990
7 A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems – Richard J. Boulton, Ruth Hardy, Ursula Martin - 2003
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
146 Concurrent Programming in ML – J Reppy - 1999
333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
56 A Typed Calculus of Synchronous Processes – Simon Gay, Rajagopal Nagarajan - 1995
616 Light Linear Logic – Jean-yves Girard
96 A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) – P. N. Benton - 1994