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
30 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
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
235 Domain Theory in Logical Form – Samson Abramsky - 1991
205 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
40 Observable Sequentiality and Full Abstraction – Robert Cartwright, Matthias Felleisen - 1992
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995