A Domain-theoretic Model for a Higher-order Process Calculus (1996)

Cached

Download Links

by Radhakrishnan Jagadeesan , Prakash Panangaden
Venue:Proceedings of the 17th International Colloquium on Automata Languages and Programming
Citations:10 - 2 self

Active Bibliography

29 Beyond Digital Naturalism – Walter Fontana, Günter Wagner, Leo W. Buss - 1994
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
47 Towards an Object Calculus – Oscar Nierstrasz - 1991
150 Elements of Interaction – Robin Milner - 1993
18 Combinatory Representation of Mobile Processes – Kohei Honda, Nobuko Yoshida - 1994
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
4 Stream Based Specification of Mobile Systems – Radu Grosu, Ketil Stølen - 1999
8 A Simple Generalization of Kahn's Principle to Indeterminate Dataflow Networks – Eugene W. Stark - 1990
12 Relational Semantics of Non-Deterministic Dataflow – Thomas Troels Hildebrandt, Prakash Panangaden, Glynn Winskel - 1997
Using process algebras for the semantic analysis of data – Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini
28 A Relational Model of Non-Deterministic Dataflow – Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel - 1998
17 The expressive power of indeterminate dataflow primitives – Prakash Panangaden, Vasant Shanbhogue - 1992
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
189 A Calculus of Mobile Processes, Part I – Robin Milner, Joachim Parrow, David Walker - 1989
56 A brief history of process algebra – J. C. M. Baeten - 2004
6 The Expressive Power of Indeterminate Primitives in Asynchronous Computation – Prakash Panangaden - 1995
23 A Logical View Of Concurrent Constraint Programming – Nax Mendler, P. J. Scott, R. A. G. Seely - 1995