Electronic Notes in Theoretical Computer Science, Volume 52

Satellite Events for CONCUR 2001

Volume 52, Number 1, 2001

EXPRESS'01: 8th International Workshop on Expressiveness in Concurrency
Aalborg, Denmark, August 20, 2001

Luca Aceto, Prakash Panangaden:
Preface.
Electronic Edition (link) BibTeX
Anne Labroue, Ph. Schnoebelen:
An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems.
Electronic Edition (link) BibTeX
Alan Martin:
Adequate Sets of Temporal Connectives in CTL.
Electronic Edition (link) BibTeX
Julian C. Bradfield, Sibylle B. Fröschle:
On Logical and Concurrent Equivalences.
Electronic Edition (link) BibTeX
Jan Strejcek:
Rewrite Systems with Constraints.
Electronic Edition (link) BibTeX
Roberto M. Amadio, Charles Meyssonnier:
On the Decidability of Fragments of the Asynchronous pi-Calculus.
Electronic Edition (link) BibTeX
K. V. S. Prasad:
Broadcast Calculus Interpreted in CCS upto Bisimulation.
Electronic Edition (link) BibTeX
Tom Chothia, Ian Stark:
Encoding Distributed Areas and Local Communication into the pi-Calculus.
Electronic Edition (link) BibTeX
Dina Q. Goldin, Scott A. Smolka, Peter Wegner:
Turing Machines, Transition Systems, and Interaction.
Electronic Edition (link) BibTeX

GEometry and Topology in COncurrency theory
Satellite Workshop of Concur'2001
Aalborg, Denmark, August 25, 2001

Eric Goubault:
Preface.
Electronic Edition (link) BibTeX
Philippe Gaucher:
Investigating The Algebraic Structure of Dihomotopy Types.
Electronic Edition (link) BibTeX
Stefan Sokolowski:
Categories of dimaps and their dihomotopies in po-spaces and local po-spaces.
Electronic Edition (link) BibTeX
Peter McBurney, Simon Parsons:
A Geometric Semantics for Dialogue Game Protocols for Autonomous Agent Interactions.
Electronic Edition (link) BibTeX

MTCS 2001 Models for Time-Critical Systems
Aalborg, Denmark, August 25, 2001

Flavio Corradini, Walter Vogler:
Preface.
Electronic Edition (link) BibTeX
Jos C. M. Baeten:
Timed Process Algebras.
Electronic Edition (link) BibTeX
Andrea Bobbio, András Horváth:
Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis.
Electronic Edition (link) BibTeX
Víctor A. Braberman, Alfredo Olivero:
Extending Timed Automata for Compositional Modeling Healthy Timed Systems.
Electronic Edition (link) BibTeX
Mario Bravetti, Alessandro Aldini:
Non-determinism in Probabilistic Timed Systems with General Distributions.
Electronic Edition (link) BibTeX
Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen:
Towards a Process Algebra for Shared Processors.
Electronic Edition (link) BibTeX
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini:
Privacy in Real-Time Systems.
Electronic Edition (link) BibTeX
Jitka Stríbrná, Insup Lee:
Characterizing Non-Zenoness on Real-Time Processes.
Electronic Edition (link) BibTeX