10. CONCUR 1999: Eindhoven, The Netherlands

@proceedings{DBLP:conf/concur/1999,
  editor    = {Jos C. M. Baeten and
               Sjouke Mauw},
  title     = {CONCUR '99: Concurrency Theory, 10th International Conference,
               Eindhoven, The Netherlands, August 24-27, 1999, Proceedings},
  booktitle = {CONCUR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1664},
  year      = {1999},
  isbn      = {3-540-66425-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

• Rance Cleaveland:
  Temporal Process Logic (Abstract). 1
  Electronic Edition (Springer LINK) BibTeX
• Javier Esparza, Stefan Römer:
  An Unfolding Algorithm for Synchronous Products of Transition Systems. 2-20
  Electronic Edition (Springer LINK) BibTeX
• Rob J. van Glabbeek:
  Petri Nets, Configuration Structures and Higher Dimensional Automata. 21-27
  Electronic Edition (Springer LINK) BibTeX
• Catuscia Palamidessi:
  Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility. 28-29
  Electronic Edition (Springer LINK) BibTeX

Tutorials

• Petr Jancar, Faron Moller:
  Techniques for Decidability and Undecidability of Bisimilarity. 30-45
  Electronic Edition (Springer LINK) BibTeX
• Jan Tretmans:
  Testing Concurrent Systems: A Formal Approach. 46-65
  Electronic Edition (Springer LINK) BibTeX

Accepted Papers

• Luca de Alfaro:
  Computing Minimum and Maximum Reachability Times in Probabilistic Systems. 66-81
  Electronic Edition (Springer LINK) BibTeX
• Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
  Automating Modular Verification. 82-97
  Electronic Edition (Springer LINK) BibTeX
• Rajeev Alur, Bow-Yaw Wang:
  ``Next'' Heuristic for On-the-Fly Model Checking. 98-113
  Electronic Edition (Springer LINK) BibTeX
• Rajeev Alur, Mihalis Yannakakis:
  Model Checking of Message Sequence Charts. 114-129
  Electronic Edition (Springer LINK) BibTeX
• Paul C. Attie:
  Synthesis of Large Concurrent Programs via Pairwise Composition. 130-145
  Electronic Edition (Springer LINK) BibTeX
• Christel Baier, Joost-Pieter Katoen, Holger Hermanns:
  Approximate Symbolic Model Checking of Continuous-Time Markov Chains. 146-161
  Electronic Edition (Springer LINK) BibTeX
• Albert Benveniste, Benoît Caillaud, Paul Le Guernic:
  From Synchrony to Asynchrony. 162-177
  Electronic Edition (Springer LINK) BibTeX
• Béatrice Bérard, Laurent Fribourg:
  Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic. 178-193
  Electronic Edition (Springer LINK) BibTeX
• Eike Best, Alexander Lavrov:
  Weak and Strong Composition of High-Level Petri-Nets. 194-209
  Electronic Edition (Springer LINK) BibTeX
• Burkhard Bieber, Hans Fleischhack:
  Model Checking of Time Petri Nets Based on Partial Order Semantics. 210-225
  Electronic Edition (Springer LINK) BibTeX
• Frank S. de Boer, Gianluigi Zavattaro:
  Generic Process Algebras for Asynchronous Communication. 226-241
  Electronic Edition (Springer LINK) BibTeX
• Hubert Comon, Yan Jurski:
  Timed Automata and the Theory of Real Numbers. 242-257
  Electronic Edition (Springer LINK) BibTeX
• Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
  Metrics for Labeled Markov Systems. 258-273
  Electronic Edition (Springer LINK) BibTeX
• Arkadi Estrin, Michael Kaminski:
  The Expressive Power of Temporal Logic of Actions (Extended Abstract). 274-287
  Electronic Edition (Springer LINK) BibTeX
• Cormac Flanagan, Martín Abadi:
  Object Types against Races. 288-303
  Electronic Edition (Springer LINK) BibTeX
• Yuxi Fu:
  Open Bisimulations on Chi Processes. 304-319
  Electronic Edition (Springer LINK) BibTeX
• Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar:
  Rectangular Hybrid Games. 320-335
  Electronic Edition (Springer LINK) BibTeX
• Yuh-Jzer Joung:
  Localizability of Fairness Constraints and Their Distributed Implementations. 336-351
  Electronic Edition (Springer LINK) BibTeX
• Barbara König:
  Generating Type Systems for Process Graphs. 352-367
  Electronic Edition (Springer LINK) BibTeX
• Antonín Kucera, Richard Mayr:
  Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time. 368-382
  Electronic Edition (Springer LINK) BibTeX
• Orna Kupferman, Moshe Y. Vardi:
  Robust Satisfaction. 383-398
  Electronic Edition (Springer LINK) BibTeX
• Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland:
  Statecharts Via Process Algebra. 399-414
  Electronic Edition (Springer LINK) BibTeX
• José Meseguer, Carolyn L. Talcott:
  A Partial Order Event Model for Concurrent Objects. 415-430
  Electronic Edition (Springer LINK) BibTeX
• Marius Minea:
  Partial Order Reduction for Model Checking of Timed Automata. 431-446
  Electronic Edition (Springer LINK) BibTeX
• Rémi Morin, Brigitte Rozoy:
  On the Semantics of Place/Transition Nets. 447-462
  Electronic Edition (Springer LINK) BibTeX
• Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen:
  Validating Firewalls in Mobile Ambients. 463-477
  Electronic Edition (Springer LINK) BibTeX
• Thomas Noll:
  On Coherence Properties in Team Rewriting Models of Concurrency. 478-493
  Electronic Edition (Springer LINK) BibTeX
• David Nowak, Jean-Pierre Talpin, Paul Le Guernic:
  Synchronous Structures. 494-509
  Electronic Edition (Springer LINK) BibTeX
• Antti Puhakka, Antti Valmari:
  Weakest-Congruence Results for Livelock-Preserving Equivalences. 510-524
  Electronic Edition (Springer LINK) BibTeX
• Christine Röckl, Javier Esparza:
  Proof-Checking Protocols Using Bisimulations. 525-540
  Electronic Edition (Springer LINK) BibTeX
• Glynn Winskel:
  Event Structures as Presheaves -Two Representation Theorems. 541-556
  Electronic Edition (Springer LINK) BibTeX
• Nobuko Yoshida, Matthew Hennessy:
  Suptyping and Locality in Distributed Higher Order Processes (extended abstract). 557-572
  Electronic Edition (Springer LINK) BibTeX