| 1991 | A Compositional Model for Layered Distributed Systems. Kenneth J. Goldman |
| 1991 | A Conditional Operator for CCS. Juanito Camilleri |
| 1991 | A Method for the Development of Totally Correct Shared-State Parallel Programs. Ketil Stølen |
| 1991 | A Theory of Testing for ACP. Luca Aceto, Anna Ingólfsdóttir |
| 1991 | A Tool Set for deciding Behavioral Equivalences. Jean-Claude Fernandez, Laurent Mounier |
| 1991 | Abstract Timed Observation and Process Algebra. Alan Jeffrey |
| 1991 | Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach. Wil Janssen, Mannes Poel, Job Zwiers |
| 1991 | Action and State-based Logics for Process Algebras. Rocco De Nicola |
| 1991 | Algebraic Formulations of Trace Theory. Nicolien J. Drost |
| 1991 | CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings Jos C. M. Baeten, Jan Friso Groote |
| 1991 | Causal Models for Rational Algebraic Processes. Amar Bouali, Robert de Simone |
| 1991 | Causality Based Models for the Design of Concurrent Systems. Ursula Goltz |
| 1991 | Completeness in Real Time Process Algebra. Steven Klusener |
| 1991 | Compositional Synthesis of Live and Bounded Free Choice Petri Nets. Javier Esparza, Manuel Silva Suárez |
| 1991 | Distributed CCS. Padmanabhan Krishnan |
| 1991 | Efficient Verification of Determinate Processes. Huajun Quin |
| 1991 | Embedding as a Tool for Language Comparison: On the CSP Hierarchy. Frank S. de Boer, Catuscia Palamidessi |
| 1991 | Experiments on Processes with Backtracking. Philippe Schnoebelen |
| 1991 | Extended Horn Clauses: The Framework and Some Semantics. Jean-Marie Jacquet, Luís Monteiro |
| 1991 | Fairness in Models with True Concurrency. Doris Nolte, Lutz Priese |
| 1991 | Formal Techniques for Parallel Object-Oriented Languages. Pierre America |
| 1991 | Geometric Logic, Causality and Event Structures. Jeremy Gunawardena |
| 1991 | Invariant Semantics of Nets with Inhibitor Arcs. Ryszard Janicki, Maciej Koutny |
| 1991 | Modal Logics for Mobile Processes. Robin Milner, Joachim Parrow, David Walker |
| 1991 | Model Checking and Modular Verification. Orna Grumberg, David E. Long |
| 1991 | Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). Jan Friso Groote, Alban Ponse |
| 1991 | Real Space Process Algebra. Jos C. M. Baeten, Jan A. Bergstra |
| 1991 | Reduced Labelled Transition Systems Save Verification Effort. Antti Valmari, Matthew Clegg |
| 1991 | Relating Processes With Respect to Speed. Faron Moller, Chris M. N. Tofts |
| 1991 | Simulations Between Specifications of Distributed Systems. Bengt Jonsson |
| 1991 | Some Finite-Graph Models for Process Algebra. Paul Spruit, Roel J. Wieringa |
| 1991 | Synchrony Loosening Transformations for Interacting Processes. Nissim Francez, Ira R. Forman |
| 1991 | Testing, Betting and Timed True Concurrency. David Murphy |
| 1991 | The Failure of Failures in a Paradigm for Asynchronous Communication. Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten |
| 1991 | The Observation Algebra of Spatial Pomsets. Gian-Luigi Ferrari, Ugo Montanari |
| 1991 | Time-Constrained Automata (Extended Abstract) Michael Merritt, Francesmary Modugno, Marc R. Tuttle |
| 1991 | Towards a Design Calculus for Communicationg Programs. Ernst-Rüdiger Olderog |
| 1991 | Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models. Roope Kaivola, Antti Valmari |