4. CONCUR 1993:
Hildesheim, Germany Eike Best (Ed.):
CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings.
Lecture Notes in Computer Science 715 Springer 1993, ISBN 3-540-57208-2
export record as
dblp key:
Gérard Boudol :
The Lambda-Calculus with Multiplicities (Abstract).
1-6
export record as
dblp key:
Joost Engelfriet :
A Multiset Semantics for the pi-Calculus with Replication.
7-21
export record as
dblp key:
Mads Dam :
Model Checking Mobile Processes.
22-36
export record as
dblp key:
Glenn Bruns :
A Practical Technique for Process Abstraction.
37-49
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Roberto M. Amadio :
On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation.
112-126
export record as
dblp key:
export record as
dblp key:
conf/concur/ChristensenHM93 export record as
dblp key:
Cliff B. Jones :
A pi-Calculus Semantics for an Object-Based Design Notation.
158-172
export record as
dblp key:
export record as
dblp key:
Uno Holmer :
Interpreting Broadcast Communication in SCCS.
188-201
export record as
dblp key:
export record as
dblp key:
Michael J. Butler :
Refinement and Decomposition of Value-Passing Action Systems.
217-232
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/concur/Gunawardena93 Jeremy Gunawardena :
A Generalized Event Structure for the Muller Unfolding of a Safe Net.
278-292
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Roberto Segala :
Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract).
324-338
export record as
dblp key:
export record as
dblp key:
Shengzong Zhou ,
Rob Gerth ,
Ruurd Kuiper :
Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract).
353-367
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/concur/Bremond-GregoireLG93 export record as
dblp key:
Wan Fokkink :
An Elimination Theorem for Regular Behaviours with Integration.
432-446
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/concur/VasconcelosH93 export record as
dblp key:
Bard Bloom :
Structured Operational Sematics for Process Algebras and Equational Axiom Systems.
539-540
data released under the ODC-BY 1.0 license
