|
1
|
On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi
– Xian Xu
|
|
6
|
A Filter Model for Mobile Processes
– Ferruccio Damiani , et al.
- 1993
|
|
1
|
Parallel Implementation of Functional Languages Using Small Processes
– John Glauert
- 1992
|
|
|
Non-deterministic Lazy it λ-calculus VS it π-calculus
– Carolina Lavatelli
- 1993
|
|
41
|
Algebraic Theories for Name-Passing Calculi
– Davide Sangiorgi, Joachim Parrow, Joachim Parrow
- 1993
|
|
1
|
Strategic Directions in Computing Research Concurrency Working Group Report
– Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka
- 1996
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
50
|
The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract)
– Davide Sangiorgi
- 1994
|
|
2
|
A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels
– Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi
- 2002
|
|
47
|
Towards an Object Calculus
– Oscar Nierstrasz
- 1991
|
|
6
|
A New Process Model for Functions
– Glauert Leth, J. R. W. Glauert, L. Leth, B. Thomsen
- 1993
|
|
8
|
DiTyCO: and Experiment in Code Mobility from the Realm Process Calculi
– Luís Lopes , Fernando Silva, Álvaro Figueira, Vasco Vasconcelos
- 1999
|
|
6
|
A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility
– Luís Lopes, Álvaro Figueira, Fernando Silva, O Silva, Vasco T. Vasconcelos
- 2000
|
|
|
Non-Deterministic untyped λ-calculus -- A study about explicit non determinism in higher-order functional calculi
– Ugo de' Liguoro
- 1991
|
|
6
|
Full Abstractness for a Functional/Concurrent Language With Higher-Order Value-Passing
– Chrysafis Hartonas, Takis Hartonas, Matthew Hennessy
- 1998
|
|
5
|
SOS formats and meta-theory: 20 years after
– Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2007
|
|
6
|
Discrimination by Parallel Observers: the Algorithm
– Mariangiola Dezani-ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn, Pawe/l Urzyczyn
- 1998
|
|
54
|
Distributed Processes and Location Failures
– James Riely, James Riely, Matthew Hennessy, Matthew Hennessy
- 1997
|
|
1
|
Distributed Processes and Location Failures (Extended Abstract)
– James Riely, Matthew Hennessy
|
