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
166 Traced monoidal categories – A Joyal, R Street, D Verity - 1996
3409 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
282 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
136 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
87 Autonomous categories and linear logic – M Barr - 1991
924 Categories for the Working Mathematician – Saunders Mac Lane - 1971
996 Bigraphs and Mobile Processes – Ole H√łgh Jensen, Robin Milner - 2003
11 Linear Types for Communicating Processes – S J Gay - 1995
3218 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
1369 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
142 Concurrent Programming in ML – John H Reppy - 1999
333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
619 Light Linear Logic – Jean-yves Girard
94 A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) – P. N. Benton - 1994