Retracing some paths in Process Algebra

Cached

Download Links

by Samson Abramsky
Citations:67 - 16 self

Active Bibliography

3 A specification structure for deadlock-freedom of synchronous processes – S. Abramsky, S. J. Gay, R. Nagarajan - 1999
3 An internal language for interaction categories – Simon Gay, Rajagopal Nagarajan - 1995
21 Specification Structures and Propositions-as-Types for Concurrency – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1995
56 A Typed Calculus of Synchronous Processes – Simon Gay, Rajagopal Nagarajan - 1995
123 Interaction Categories and the Foundations of Typed Concurrent Programming – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1995
9 A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1997
8 Games in the Semantics of Programming Languages – Samson Abramsky - 1997
9 Process Realizability – Samson Abramsky - 2000
11 Synchronous Structures – David Nowak - 1999
4 Categories for Synchrony and Asynchrony – J.R.B. Cockett, D. A. Spooner - 1995
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996
1 Handshake Games – Luca Fossati, Torino Italia
Generalised Proof-Nets for Compact Categories with Biproducts – n.n. - 2009
36 Semantics of interaction – Samson Abramsky - 1996
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
Categories of Circuits – P. Katis, N. Sabadini, R.F.C. Walters, H. Weld - 1999
2 A Fully Complete PER Model for ML Polymorphic Types – Samson Abramsky, Marina Lenisa - 2000
4 A Simple Adequate Categorical Model for PCF – Torben Braüner - 1997
Fully Complete Models for ML Polymorphic Types – unknown authors - 1999