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

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

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

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

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

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

Last update Tue May 21 18:51:14 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page