Continuous Functions and Parallel Algorithms on Concrete Data Structures (1991)

Cached

Download Links

by Stephen Brookes , Shai Geva
Venue:IN MFPS'91, L.N.C.S
Citations:12 - 2 self

Active Bibliography

2 Stable and Sequential Functions on Scott Domains – Stephen Brookes, Shai Geva - 1992
11 Towards a theory of parallel algorithms on concrete data structures – Stephen Brookes, Shai Geva - 1990
2 Sequential Functions on Indexed Domains and Full Abstraction for a Sub-language of PCF – Stephen Brookes, Shai Geva - 1994
6 A Cartesian Closed Category of Parallel Algorithms between Scott Domains – Stephen Brookes, Shai Geva - 1991
31 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
An Intensional Investigation of Parallelism – Denis Dancanet - 1994
39 Observable Sequentiality and Full Abstraction – Robert Cartwright, Matthias Felleisen - 1992
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
5 Games and full abstraction for PCF: preliminary announcement – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1993
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
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
Sequential Languages – Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
59 Game Theoretic Analysis Of Call-By-Value Computation – Kohei Honda, NOBUKO YOSHIDA - 1997
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
231 Domain Theory in Logical Form – Samson Abramsky - 1991
32 A Semantic analysis of control – James David Laird - 1998
10 Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness – Stephen Brookes, Denis Dancanet - 1995
2 Some Monoidal Closed Categories of Stable Domains and Event Structures – Guo-qiang Zhang - 1993