2. CONCUR 1991: Amsterdam, The Netherlands
- Jos C. M. Baeten, Jan Friso Groote:
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
Invited Lectures
Selected Presentations
- 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 - Frank S. de Boer, Catuscia Palamidessi:
Embedding as a Tool for Language Comparison: On the CSP Hierarchy. 127-141 - Javier Esparza, Manuel Silva Suárez:
Compositional Synthesis of Live and Bounded Free Choice Petri Nets. 172-187 - Nissim Francez, Ira R. Forman:
Synchrony Loosening Transformations for Interacting Processes. 203-219 - Jan Friso Groote, Alban Ponse:
Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). 235-249 - Wil Janssen, Mannes Poel, Job Zwiers:
Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach. 298-316 - Roope Kaivola, Antti Valmari:
Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models. 361-375 - Michael Merritt, Francesmary Modugno, Marc R. Tuttle:
Time-Constrained Automata (Extended Abstract). 408-423 - Ketil Stølen:
A Method for the Development of Totally Correct Shared-State Parallel Programs. 510-525