Volume 52, Number 1, 2001
Aalborg, Denmark, August 20, 2001
Anne Labroue, Ph. Schnoebelen: An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems. 1-20- Alan Martin: Adequate Sets of Temporal Connectives in CTL. 21-31
- Jan Strejcek: Rewrite Systems with Constraints. 46-65
- Roberto M. Amadio, Charles Meyssonnier: On the Decidability of Fragments of the Asynchronous pi-Calculus. 66-82
- K. V. S. Prasad: Broadcast Calculus Interpreted in CCS upto Bisimulation. 83-100
- Tom Chothia, Ian Stark: Encoding Distributed Areas and Local Communication into the pi-Calculus. 101-119
- Dina Q. Goldin, Scott A. Smolka, Peter Wegner: Turing Machines, Transition Systems, and Interaction. 120-136
Volume 52, Number 2, 2001
Satellite Workshop of Concur'2001
Aalborg, Denmark, August 25, 2001
- Philippe Gaucher: Investigating The Algebraic Structure of Dihomotopy Types. 139-163
- Stefan Sokolowski: Categories of dimaps and their dihomotopies in po-spaces and local po-spaces. 164-186
- Peter McBurney, Simon Parsons: A Geometric Semantics for Dialogue Game Protocols for Autonomous Agent Interactions. 187-204
- Eric Goubault: Preface. 205
Volume 52, Number 3, 2001
Aalborg, Denmark, August 25, 2001
- Jos C. M. Baeten: Timed Process Algebras. 207-208
- Andrea Bobbio, András Horváth: Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. 209-226
- Víctor A. Braberman, Alfredo Olivero: Extending Timed Automata for Compositional Modeling Healthy Timed Systems. 227-245
- Mario Bravetti, Alessandro Aldini: Non-determinism in Probabilistic Timed Systems with General Distributions. 246-274
- Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen: Towards a Process Algebra for Shared Processors. 275-294
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team