| 1988 | Modelling Knowledge and Action in Distributed Systems. | Joseph Y. Halpern, Ronald Fagin |
| 1988 | Semancitcs of Real-time Distributed Programs. | Asis Goswami, Mathai Joseph |
| 1988 | A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. | Stefania Gnesi, Paola Inverardi, Monica Nesi |
| 1988 | On the Power of Cooperative Concurrency. | Doron Drusinsky, David Harel |
| 1988 | Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases. | Nicolien J. Drost, Jan van Leeuwen |
| 1988 | On Safety and Timeliness in Distributed Data Management. | Danny Dolev, H. Raymond Strong |
| 1988 | A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence. | Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone |
| 1988 | Requirement and Design Specification for Distributed Systems. | Manfred Broy |
| 1988 | External Behaviour Equivalence between two Petri Nets. | A. Bourguet-Rouger |
| 1988 | Weighted Basic Petri Nets. | Eike Best |
| 1988 | Executing Temporal Logic: Review and Prospects (Abstract). | Howard Barringer, Dov M. Gabbay |
| 1988 | Data in a Concurrent Environment. | Egidio Astesiano, Alessandro Giovini, Gianna Reggio |
| 1984 | Categories of Models for Concurrency. | Glynn Winskel |
| 1984 | On the Composition and Decomposition of Assertions. | Glynn Winskel |
| 1984 | The NIL Distributed Systems Programming Language: A Status Report. | Robert E. Strom, Shaula Yemini |
| 1984 | Applications of Topology to Semantics of Communicating Processes. | William C. Rounds |
| 1984 | Denotational Semantics for occam. | A. W. Roscoe |
| 1984 | The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial. | Vaughan R. Pratt |
| 1984 | Abstract Interpretation and Indeterminacy. | Prakash Panangaden |
| 1984 | Executing Temporal Logic Programs. | Ben C. Moszkowski |
| 1984 | Axioms for Memory Access in Asynchronous Hardware Systems. | Jayadev Misra |
| 1984 | Lectures on a Calculus for Communicating Systems. | Robin Milner |
| 1984 | The Static Derivation of Concurrency and its Mechanzed Certification. | Christian Lengauer, Chua-Huang Huang |
| 1984 | Semantics of Networks Containing Indeterminate Operators. | Robert M. Keller, Prakash Panangaden |
| 1984 | Maximally Concurrent Evolution of Non-sequential Systems. | Ryszard Janicki, Peter E. Lauer, Raymond Devillers |