Active Bibliography

3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
13 Language Features for Re-use and Extensibility in Concurrent Object-Oriented Programming Languages – Satoshi Matsuoka - 1993
29 Creol: A type-safe object-oriented model for distributed concurrent systems – Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu - 2006
13 Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999
97 Decoding Choice Encodings – Uwe Nestmann, Benjamin C. Pierce - 1999
100 The reflexive CHAM and the join-calculus – Cedric Fournet , Georges Gonthier
150 The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance – Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick - 1992
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
7 Programming in the pi-calculus: A tutorial introduction to Pict (Pict Version 3.8d) – Benjamin C. Pierce - 1996
15 An Object-Oriented Refinement Calculus with Modular Reasoning – Mark Utting - 1992
49 Requirements for a Composition Language – Oscar Nierstrasz, Theo Dirk Meijler - 1995
1 Subtyping and Inheritance in Object-Oriented Programming – Stoyan Kurtev - 2000
4 A dynamic binding strategy for multiple inheritance and asynchronously communicating objects – Einar Broch Johnsen, Olaf Owe - 2005
6 From π-calculus to Higher-Order π-calculus -- and back – Davide Sangiorgi
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
53 Component-Oriented Software Technology – Oscar Nierstrasz, Laurent Dami - 1995