Electronic Notes in Theoretical Computer Science, Volume 16

Satelite Workshops from CONCUR '98

Volume 16, Number 1, 1998

COTIC '98 Second workshop on concurrent constraint programming for time critical applications and multi-agent systems
Nice, France, 7 September 1998

Frank S. de Boer, Maurizio Gabbrielli:
Preface.
Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov:
Specifying Real-Time Finite-State Systems in Linear Logic.
Simone Tini, Andrea Maggiolo-Schettini:
Two semantics for Timed Default Concurrent Constraint Programming.
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Translations of Vocabularies in Systems of Communicating Agents.
Eric Monfroy:
An Environment for Designing/Executing Constraint Solver Collaborations.

EXPRESS '98 Fifth International Workshop on Expressiveness in Concurrency
Nice, France, 7 September 1998

Ilaria Castellani, Catuscia Palamidessi:
Preface.
Jos C. M. Baeten, Jan A. Bergstra:
Deadlock Behaviour in Split and ST Bisimulation Semantics.
Antonio Brogi, Jean-Marie Jacquet:
On the Expressiveness of Linda-like Concurrent Languages.
Matthew Hennessy:
A survey of location calculi.
H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy:
Event Structures for Local Traces.
Marta Z. Kwiatkowska, Gethin Norman:
A Testing Equivalence for Reactive Probabilistic Processes.
Massimo Merro:
On the Expressiveness of Chi, Update, and Fusion calculi.
Uwe Nestmann:
On the Expressive Power of Joint Input.
P. S. Thiagarajan:
Some Logical and Automata-Theoretic Aspects of Product Behaviours.
Gianluigi Zavattaro:
Towards a Hierarchy of Negative Test Operators for Generative Communication.

HLCL '98 3rd International Workshop on High-Level Concurrent Languages
Nice, France, 12 September 1998

Uwe Nestmann, Benjamin C. Pierce:
Preface.
J. E. White:
Why networks aren't programmable (or, why programs aren't protocols).
Matthew Hennessy, James Riely:
Resource Access Control in Systems of Mobile Agents.
Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva:
Distribution and Mobility with Lexical Scoping in Process Calculi.
Fabrice Le Fessant, Luc Maranget:
Compiling Join-Patterns.
Eijiro Sumii, Naoki Kobayashi:
A Generalized Deadlock-Free Process Calculus.
Andrew D. Gordon, Paul D. Hankin:
A Concurrent Object Calculus: Reduction and Typing.
Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy:
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects.