Separating concurrent languages with categories of language embeddings (1991)

Cached

Download Links

by Ehud Shapiro
Venue:In Proceedings of the 23 rd Annual ACM Symposium on Theory of Computing
Citations:12 - 1 self

Documents Related by Co-Citation

31 Embedding as a tool for Language Comparison – Frank S. de Boer, Catuscia Palamidessi, Catuscia Palamidessi - 1994
134 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
12 Embeddings among concurrent programming languages – E Shapiro - 1992
155 Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi – Catuscia Palamidessi - 2002
3218 Communication and Concurrency – R Milner - 1989
39 On abstraction and the expressive power of programming languages – John C Mitchell - 1991
22 Fully abstract translations between functional languages (preliminary report – Jon G Riecke - 1991
11 Embedding as a tool for Language Comparison: On the CSP hierarchy – Frank S. de Boer, Frank S. De Boer, Catuscia Palamidessi, Catuscia Palamidessi - 1991
96 Decoding Choice Encodings – Uwe Nestmann, Benjamin C. Pierce - 1999
361 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
269 The Family of Concurrent Logic Programming Languages – E Shapiro - 1989
83 Impossibility and universality results for wait–free synchronization – Maurice Herlihy - 1988
109 Fully abstract models of the typed lambda calculus – Robin Milner - 1977
251 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
10 On the Expressive Power of Klaim-based Calculi – Rocco De Nicola, Daniele Gorla , Rosario Pugliese - 2006
942 Generative communication in Linda – David Gelernter - 1985
221 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
129 Logic Semantics for a Class of Committed-Choice Programs – M J Maher - 1987
49 A fully abstract model for concurrent constraint programming – Frank S. De Boer, Catuscia Palamidessi - 1991