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

Volume 16, Number 2, 1998

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

Volume 16, Number 3, 1998

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