Electronic Notes in Theoretical Computer Science
, Volume 96
Volume 96, 9 June 2004
Proceedings of the 10th International Workshop on Expressiveness in Concurrency
Flavio Corradini
,
Uwe Nestmann
:
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency.
1-3
Electronic Edition
(link)
BibTeX
Luca Aceto
:
Nested Semantics over Finite Trees are Equationally Hard: Invited Talk.
5-6
Electronic Edition
(link)
BibTeX
Michael W. Mislove
,
Joël Ouaknine
,
James Worrell
:
Axioms for Probability and Nondeterminism.
7-28
Electronic Edition
(link)
BibTeX
Sergio Maffeis
,
Iain Phillips
:
On the Computational Strength of Pure Ambient Calculi.
29-49
Electronic Edition
(link)
BibTeX
Étienne Lozes
:
Adjuncts elimination in the static ambient logic.
51-72
Electronic Edition
(link)
BibTeX
Arnaud Carayol
,
Daniel Hirschkoff
,
Davide Sangiorgi
:
On the Representation of McCarthy's
amb
in the -calculus.
73-89
Electronic Edition
(link)
BibTeX
Ruggero Lanotte
:
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays.
91-112
Electronic Edition
(link)
BibTeX
Harald Fecher
:
Event Structures for Interrupt Process Algebras.
113-127
Electronic Edition
(link)
BibTeX
Christie Bolton
,
Gavin Lowe
:
A Hierarchy of Failures-Based Models.
129-152
Electronic Edition
(link)
BibTeX
Richard Mayr
:
Weak Bisimilarity and Regularity of Context-Free Processes is
EXPTIME
-hard.
153-172
Electronic Edition
(link)
BibTeX
Copyright ©
Sat May 16 23:58:18 2009 by
Michael Ley
(
ley@uni-trier.de
)