ask others

2. CONCUR 1991: Amsterdam, The Netherlands

> Home > Conferences and Workshops > CONCUR

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/1991
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/1991
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/America91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/America91
Pierre America:
Formal Techniques for Parallel Object-Oriented Languages. 1-17
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/BoualiS91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/BoualiS91
Amar Bouali, Robert de Simone:
Causal Models for Rational Algebraic Processes. 18-19
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Nicola91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Nicola91
Rocco De Nicola:
Action and State-based Logics for Process Algebras. 20-22
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/FernandezM91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/FernandezM91
Jean-Claude Fernandez, Laurent Mounier:
A Tool Set for deciding Behavioral Equivalences. 23-42
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Goltz91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Goltz91
Ursula Goltz:
Causality Based Models for the Design of Concurrent Systems. 43-44
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/MilnerPW91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/MilnerPW91
Robin Milner, Joachim Parrow, David Walker:
Modal Logics for Mobile Processes. 45-60
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/Olderog91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/Olderog91
Ernst-Rüdiger Olderog:
Towards a Design Calculus for Communicationg Programs. 61-77

Selected Presentations

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

maintained by

, founded at