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

Active Bibliography

6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
31 Embedding as a tool for Language Comparison – Frank S. de Boer, Catuscia Palamidessi, Catuscia Palamidessi - 1994
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
470 An introduction to input/output automata – Nancy A. Lynch, Mark R. Tuttle - 1989
6 A Paradigm for Asynchronous Communication and its Application to Concurrent Constraint Programming – Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J.M.M. Rutten - 1993
Generic Process Algebras for Asynchronous Communication – F.S. de Boer, G. Zavattaro - 1999
11 Branching vs. linear time – semantical perspective – Sumit Nain, Moshe Y. Vardi
23 Java Jr.: A fully abstract trace semantics for a core Java language – Alan Jeffrey, Julian Rathke - 2005
261 Relations in Concurrency – Glynn Winskel
7 A Compositional Approach to Concurrent Programming – Raju Pandey - 1995
11 Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc – Hayo Thielecke - 1998
110 The Discoveries of Continuations – John C. Reynolds - 1993
131 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
Efficiency And Expressivity Of Declarative Programming Languages – Sumit Sur - 1995
4 A Categorical Interpretation of Landin's Correspondence Principle – Anindya Banerjee, David A. Schmidt - 1993
1 Trace Semantics Is Fully Abstract – Sumit Nain, Moshe Y. Vardi - 2009
Axioms for Asynchronous Processes – Eleftherios Matsikoudis, Eleftherios Matsikoudis, Eleftherios Matsikoudis, Eleftherios Matsikoudis
1 Ideal stream algebra – Bernhard Möller - 1998
Using process algebras for the semantic analysis of data – Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini