| 1990 | A Programming Logic for Formal Concurent Systems. | E. Pascal Gribomont |
| 1990 | SCONE: A Simple Calculus of Nets. | Roberto Gorrieri, Ugo Montanari |
| 1990 | The Linear Time-Branching Time Spectrum (Extended Abstract). | Rob J. van Glabbeek |
| 1990 | CCSR: A Calculus for Communicating Shared Resources. | Richard Gerber, Insup Lee |
| 1990 | An Implementation of a Translational Semantics for an Imperative Language. | Lars-ke Fredlund, Bengt Jonsson, Joachim Parrow |
| 1990 | Superimposition for Interacting Processes. | Nissim Francez, Ira R. Forman |
| 1990 | A Temporal Approach to Algebraic Specifications. | Yulin Feng, Junbo Liu |
| 1990 | The Need for Headers: An Impossibility Result for Communication over Unreliable Channels. | Alan D. Fekete, Nancy A. Lynch |
| 1990 | Synthesis Rules for Petri Nets, and How they Lead to New Results. | Javier Esparza |
| 1990 | Reduction and Design of Well-behaved Concurrent Systems. | Jrg Desel |
| 1990 | A Preorder for Partial Process Specifications. | Rance Cleaveland, Bernhard Steffen |
| 1990 | Testing Equivalences and Fully Abstract Models for Probabilistic Processes. | Ivan Christoff |
| 1990 | Verifying Temporal Properties of Processes. | Julian C. Bradfield, Colin Stirling |
| 1990 | On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. | Frank S. de Boer, Catuscia Palamidessi |
| 1990 | Partial Order Semantics of Concurrent Programs (Abstract). | Eike Best |
| 1990 | Process Algebra with a Zero Object. | Jos C. M. Baeten, Jan A. Bergstra |
| 1990 | Convergence of Iteration Systems (Extended Abstract). | Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda |
| 1990 | An Axiomatization of Lamport's Temporal Logic of Actions. | Martn Abadi |
| 1989 | Premature Return - Another Interpretation of the Future Construct. | Taiichi Yuasa |
| 1989 | Transformational Derivation of Systolic Arrays. | Norihiko Yoshida |
| 1989 | Locally Computable Coding for Unary Operations. | Hiroto Yasuura |
| 1989 | Some Results on the pi-Calculus. | David Walker |
| 1989 | The Computational Field Model for Open Distributed Environments. | Mario Tokoro, Kohei Honda |
| 1989 | A Parallel Object Oriented Language FLENG++ and Its Control System on the Parallel Machine PIE64. | Hidehiko Tanaka |
| 1989 | An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. | Akikazu Takeuchi, Kazuko Takahashi |