Retracing some paths in Process Algebra

Cached

Download Links

by Samson Abramsky
Citations:67 - 15 self

Active Bibliography

543 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
3 A specification structure for deadlock-freedom of synchronous processes – S. Abramsky, S. J. Gay, R. Nagarajan - 1999
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
21 Specification Structures and Propositions-as-Types for Concurrency – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1995
Types for Deadlock-freedom: The Synchronous Case – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1997
250 A Framework for Comparing Models of Computation – Edward A. Lee, Alberto Sangiovanni-vincentelli - 1998
8 Games in the Semantics of Programming Languages – Samson Abramsky - 1997