|
2
|
A specification structure for deadlock-freedom of synchronous processes
– S. Abramsky, S. J. Gay, R. Nagarajan
- 1999
|
|
119
|
Interaction Categories and the Foundations of Typed Concurrent Programming
– Samson Abramsky, Simon Gay, Rajagopal Nagarajan
- 1995
|
|
1
|
Categorical and Graphical Models of Programming Languages
– Ralf Schweimeier, Ralf Schweimeier
- 2001
|
|
242
|
Relations in Concurrency
– Glynn Winskel
|
|
12
|
A Structural Approach to Reversible Computation
– Samson Abramsky
- 2001
|
|
27
|
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
|
|
173
|
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
|
|
23
|
Games and full abstraction for nondeterministic languages
– Russell S. Harmer
- 1999
|
|
5
|
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
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
4
|
Categories for Synchrony and Asynchrony
– J.R.B. Cockett, D. A. Spooner
- 1995
|
|
61
|
Models of Sharing Graphs: A Categorical Semantics of let and letrec
– Masahito Hasegawa
- 1997
|
|
13
|
A calculus of circular proofs and its categorical semantics
– Luigi Santocanale
- 2002
|
|
11
|
Game Semantics and Subtyping
– Juliusz Chroboczek
- 1999
|
