|
3
|
Towards a Semantic Theory of CML
– W. Ferreira, M. Hennessy
- 1995
|
|
|
Weak Sequential Composition in Process Algebras
– Arend Rensink And, Arend Rensink, Heike Wehrheim
- 1994
|
|
2
|
Process Algebra with Action Dependencies
– Arend Rensink, Heike Wehrheim
- 1999
|
|
103
|
A Congruence Theorem for Structured Operational Semantics With Predicates
– J.C.M. Baeten, C. Verhoef
- 1993
|
|
2
|
Tools for a Calculus of Broadcasting Systems
– Jenny Petersson
- 1993
|
|
20
|
A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types
– Alan Jeffrey
- 1995
|
|
13
|
Basic Observables for Processes
– Michele Boreale, Rocco De Nicola, Rosario Pugliese
- 1999
|
|
3
|
Linking DC together with TRSL
– Anne Haxthausen, Xia Yong
- 1999
|
|
1
|
An Operational Semantics for Timed RAISE
– Xia Yong, Chris George
- 1998
|
|
17
|
An Operational Semantics for Timed RAISE
– Chris George, Chris George, Xia Yong, Xia Yong
- 1998
|
|
1
|
Transition System Specifications in Stalk Format With Bisimulation as a Congruence
– Van Oostrom, E. P. De Vink
- 1994
|
|
19
|
Expressiveness Results for Process Algebras
– F.W. Vaandrager, Frits W. Vaandrager
- 1993
|
|
10
|
Concurrent Kripke Structures
– Vineet Gupta
- 1993
|
|
30
|
Refinement of Actions and Equivalence Notions for Concurrent Systems
– Rob Van Glabbeek, Ursula Goltz
- 1998
|
|
77
|
Turning SOS Rules into Equations
– Luca Aceto, Bard Bloom, Frits Vaandrager
- 1994
|
|
|
From a Concurrent lambda-calculus to the pi-calculus
– Roberto M. Amadio, Lone Leth, Bent Thomsen
|
|
|
Principles and a Preliminary Design for ML2000
– The ML2000 Working Group
- 1999
|
|
|
Names of the ß-Calculus Agents Handled Locally
– Chiara Bodei, Pierpaolo Degano, Corrado Priami
- 1996
|
|
|
Representing Control in Parallel Applicative Programming
– Chi Yao
- 1994
|
