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.
Electronic Edition (link) BibTeX
Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov:
Specifying Real-Time Finite-State Systems in Linear Logic.
Electronic Edition (link) BibTeX
Simone Tini, Andrea Maggiolo-Schettini:
Two semantics for Timed Default Concurrent Constraint Programming.
Electronic Edition (link) BibTeX
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Translations of Vocabularies in Systems of Communicating Agents.
Electronic Edition (link) BibTeX
Eric Monfroy:
An Environment for Designing/Executing Constraint Solver Collaborations.
Electronic Edition (link) BibTeX

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

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

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

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