2. CONCUR 1991: Amsterdam, The Netherlands

Jos C. M. Baeten, Jan Friso Groote (Eds.): CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings. Lecture Notes in Computer Science 527 Springer 1991, ISBN 3-540-54430-5 BibTeX

@proceedings{DBLP:conf/concur/1991,
  editor    = {Jos C. M. Baeten and
               Jan Friso Groote},
  title     = {CONCUR '91, 2nd International Conference on Concurrency Theory,
               Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
  booktitle = {CONCUR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {527},
  year      = {1991},
  isbn      = {3-540-54430-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Pierre America: Formal Techniques for Parallel Object-Oriented Languages. 1-17 BibTeX
Amar Bouali, Robert de Simone: Causal Models for Rational Algebraic Processes. 18-19 BibTeX
Rocco De Nicola: Action and State-based Logics for Process Algebras. 20-22 BibTeX
Jean-Claude Fernandez, Laurent Mounier: A Tool Set for deciding Behavioral Equivalences. 23-42 BibTeX
Ursula Goltz: Causality Based Models for the Design of Concurrent Systems. 43-44 BibTeX
Robin Milner, Joachim Parrow, David Walker: Modal Logics for Mobile Processes. 45-60 BibTeX
Ernst-Rüdiger Olderog: Towards a Design Calculus for Communicationg Programs. 61-77 BibTeX

Selected Presentations

Luca Aceto, Anna Ingólfsdóttir: A Theory of Testing for ACP. 78-95 BibTeX
Jos C. M. Baeten, Jan A. Bergstra: Real Space Process Algebra. 96-110 BibTeX
Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten: The Failure of Failures in a Paradigm for Asynchronous Communication. 111-126 BibTeX
Frank S. de Boer, Catuscia Palamidessi: Embedding as a Tool for Language Comparison: On the CSP Hierarchy. 127-141 BibTeX
Juanito Camilleri: A Conditional Operator for CCS. 142-156 BibTeX
Nicolien J. Drost: Algebraic Formulations of Trace Theory. 157-171 BibTeX
Javier Esparza, Manuel Silva: Compositional Synthesis of Live and Bounded Free Choice Petri Nets. 172-187 BibTeX
Gian Luigi Ferrari, Ugo Montanari: The Observation Algebra of Spatial Pomsets. 188-202 BibTeX
Nissim Francez, Ira R. Forman: Synchrony Loosening Transformations for Interacting Processes. 203-219 BibTeX
Kenneth J. Goldman: A Compositional Model for Layered Distributed Systems. 220-234 BibTeX
Jan Friso Groote, Alban Ponse: Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). 235-249 BibTeX
Orna Grumberg, David E. Long: Model Checking and Modular Verification. 250-265 BibTeX
Jeremy Gunawardena: Geometric Logic, Causality and Event Structures. 266-280 BibTeX
Jean-Marie Jacquet, Luís Monteiro: Extended Horn Clauses: The Framework and Some Semantics. 281-297 BibTeX
Wil Janssen, Mannes Poel, Job Zwiers: Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach. 298-316 BibTeX
Ryszard Janicki, Maciej Koutny: Invariant Semantics of Nets with Inhibitor Arcs. 317-331 BibTeX
Alan Jeffrey: Abstract Timed Observation and Process Algebra. 332-345 BibTeX
Bengt Jonsson: Simulations Between Specifications of Distributed Systems. 346-360 BibTeX
Roope Kaivola, Antti Valmari: Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models. 361-375 BibTeX
Steven Klusener: Completeness in Real Time Process Algebra. 376-392 BibTeX
Padmanabhan Krishnan: Distributed CCS. 393-407 BibTeX
Michael Merritt, Francesmary Modugno, Marc R. Tuttle: Time-Constrained Automata (Extended Abstract). 408-423 BibTeX
Faron Moller, Chris M. N. Tofts: Relating Processes With Respect to Speed. 424-438 BibTeX
David Murphy: Testing, Betting and Timed True Concurrency. 439-454 BibTeX
Doris Nolte, Lutz Priese: Fairness in Models with True Concurrency. 455-469 BibTeX
Huajun Quin: Efficient Verification of Determinate Processes. 470-479 BibTeX
Ph. Schnoebelen: Experiments on Processes with Backtracking. 480-494 BibTeX
Paul Spruit, Roel Wieringa: Some Finite-Graph Models for Process Algebra. 495-509 BibTeX
Ketil Stølen: A Method for the Development of Totally Correct Shared-State Parallel Programs. 510-525 BibTeX
Antti Valmari, Matthew Clegg: Reduced Labelled Transition Systems Save Verification Effort. 526-540 BibTeX