Towards a theory of parallel algorithms on concrete data structures (1990)

Cached

Download Links

by Stephen Brookes , Shai Geva
Venue:In Semantics for Concurrency, Leicester
Citations:11 - 6 self

Active Bibliography

2 Stable and Sequential Functions on Scott Domains – Stephen Brookes, Shai Geva - 1992
12 Continuous Functions and Parallel Algorithms on Concrete Data Structures – Stephen Brookes, Shai Geva - 1991
2 Sequential Functions on Indexed Domains and Full Abstraction for a Sub-language of PCF – Stephen Brookes, Shai Geva - 1994
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
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
An Intensional Investigation of Parallelism – Denis Dancanet - 1994
39 Observable Sequentiality and Full Abstraction – Robert Cartwright, Matthias Felleisen - 1992
6 A Cartesian Closed Category of Parallel Algorithms between Scott Domains – Stephen Brookes, Shai Geva - 1991
Sequential Languages – Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
5 Symmetry and Interactivity in Programming – P.-L. Curien - 2001
231 Domain Theory in Logical Form – Samson Abramsky - 1991
5 Games and full abstraction for PCF: preliminary announcement – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1993
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
66 Full Abstraction for PCF (Extended Abstract) – Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan - 1994
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
31 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
49 Fully abstract semantics for observably sequential languages – Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen - 1994
Playful, streamlike computation – Pierre-louis Curien - 2003
3 Bistable biorders: a sequential domain theory – J. Laird - 2005