default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th EXPRESS 2003: Marseille, France
- Flavio Corradini, Uwe Nestmann:
Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003. Electronic Notes in Theoretical Computer Science 96, Elsevier 2004 - Flavio Corradini, Uwe Nestmann:
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. 1-3 - Luca Aceto:
Nested Semantics over Finite Trees are Equationally Hard: Invited Talk. 5-6 - Michael W. Mislove
, Joël Ouaknine, James Worrell:
Axioms for Probability and Nondeterminism. 7-28 - Sergio Maffeis, Iain Phillips:
On the Computational Strength of Pure Ambient Calculi. 29-49 - Étienne Lozes:
Adjuncts elimination in the static ambient logic. 51-72 - Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi:
On the Representation of McCarthy's amb in the π-calculus. 73-89 - Ruggero Lanotte:
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays. 91-112 - Harald Fecher:
Event Structures for Interrupt Process Algebras. 113-127 - Christie Bolton, Gavin Lowe:
A Hierarchy of Failures-Based Models. 129-152 - Richard Mayr:
Weak Bisimilarity and Regularity of Context-Free Processes is EXPTIME-hard. 153-172
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-19 23:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
