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

Active Bibliography

3 A specification structure for deadlock-freedom of synchronous processes – S. Abramsky, S. J. Gay, R. Nagarajan - 1999
122 Interaction Categories and the Foundations of Typed Concurrent Programming – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1995
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
262 Relations in Concurrency – Glynn Winskel
18 A Structural Approach to Reversible Computation – Samson Abramsky - 2001
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
194 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
9 A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1997
29 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
3 The Semantics Of Fair Recursion With Divergence – Michael Huth, Marta Kwiatkowska - 1996
8 A Classical Linear λ-calculus – G.M. Bierman - 1997
11 Specifying Interaction Categories – D. Pavlovic, S. Abramsky - 1997
1 Intensional double glueing, biextensional collapse, and the Chu construction – Dominic Hughes - 2004
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
4 Categories for Synchrony and Asynchrony – J.R.B. Cockett, D. A. Spooner - 1995
60 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
16 A calculus of circular proofs and its categorical semantics – Luigi Santocanale - 2002
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999