| 1991 | Towards a Design Calculus for Communicationg Programs. | Ernst-Rdiger Olderog |
| 1991 | Fairness in Models with True Concurrency. | Doris Nolte, Lutz Priese |
| 1991 | Action and State-based Logics for Process Algebras. | Rocco De Nicola |
| 1991 | Testing, Betting and Timed True Concurrency. | David Murphy |
| 1991 | Relating Processes With Respect to Speed. | Faron Moller, Chris M. N. Tofts |
| 1991 | Modal Logics for Mobile Processes. | Robin Milner, Joachim Parrow, David Walker |
| 1991 | Time-Constrained Automata (Extended Abstract) | Michael Merritt, Francesmary Modugno, Marc R. Tuttle |
| 1991 | Distributed CCS. | Padmanabhan Krishnan |
| 1991 | Completeness in Real Time Process Algebra. | Steven Klusener |
| 1991 | Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models. | Roope Kaivola, Antti Valmari |
| 1991 | Simulations Between Specifications of Distributed Systems. | Bengt Jonsson |
| 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 | Invariant Semantics of Nets with Inhibitor Arcs. | Ryszard Janicki, Maciej Koutny |
| 1991 | Extended Horn Clauses: The Framework and Some Semantics. | Jean-Marie Jacquet, Lus Monteiro |
| 1991 | Geometric Logic, Causality and Event Structures. | Jeremy Gunawardena |
| 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 | Causality Based Models for the Design of Concurrent Systems. | Ursula Goltz |
| 1991 | A Compositional Model for Layered Distributed Systems. | Kenneth J. Goldman |
| 1991 | Synchrony Loosening Transformations for Interacting Processes. | Nissim Francez, Ira R. Forman |
| 1991 | The Observation Algebra of Spatial Pomsets. | Gian-Luigi Ferrari, Ugo Montanari |
| 1991 | A Tool Set for deciding Behavioral Equivalences. | Jean-Claude Fernandez, Laurent Mounier |
| 1991 | Compositional Synthesis of Live and Bounded Free Choice Petri Nets. | Javier Esparza, Manuel Silva Surez |
| 1991 | Algebraic Formulations of Trace Theory. | Nicolien J. Drost |