| 1989 | An Introduction to Modal and Temporal Logics for CCS. | Colin Stirling |
| 1989 | Reuse of Concurrent Object Descriptions. | Etsuya Shibayama |
| 1989 | A Hierarchical Approach to Hardware Design. | Jeff W. Sanders |
| 1989 | Analysing | George M. Reed, A. W. Roscoe |
| 1989 | Graph Rewriting as a Computational Model. | D. L. McBurney, M. Ronan Sleep |
| 1989 | Logic of Execution: An Outline. | Takayasu Ito |
| 1989 | Exception Handling and Real Time Features in an Object-Oriented Concurrent Language. | Yuuji Ichisugi, Akinori Yonezawa |
| 1989 | Concurrent Programming in COB. | Kaoru Hosokawa, Hiroaki Nakamura, Tsutomu Kamimura |
| 1989 | Semantic Specifications for the Rewrite Rule Machine. | Joseph A. Goguen |
| 1989 | Using the Temporal Logic RDL for Design Specifications. | Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter |
| 1989 | An Ultra-Multiprocessing Machine Architecture for Efficient Parallel Execution of Functional Languages. | Makoto Amamiya, Rin-Ichiro Taniguchi |
| 1988 | An Automata-Theoretic Approach to Protocol Verification (Abstract). | Moshe Y. Vardi |
| 1988 | Analysis of ESTELLE Specifications. | Udo Thalmann |
| 1988 | Total Algorithms. | Gerard Tel |
| 1988 | Deterministic Systems of Sequential Processes: Theory and Tools. | Younes Souissi, Nicolas Beldiceanu |
| 1988 | Data Base Distribution and Concurrency for End-Users (Abstract). | Richard L. Schwartz |
| 1988 | Temporal Logic and Causality in Concurrent Systems. | Wolfgang Reisig |
| 1988 | A Framework for the Synthesis of Reactive Modules. | Amir Pnueli, Roni Rosner |
| 1988 | A Graphical Representation of Interval Logic. | P. M. Melliar-Smith |
| 1988 | The Scope and Limits of Synchronous Concurrent Computation. | Karl Meinke, John V. Tucker |
| 1988 | A Top-down Step-wise Refinement Methodology for Protocol Specification. | Da-Hai Li, T. S. E. Maibaum |
| 1988 | While Waiting for the Millennium: Formal Specification and Verficiation of Concurrent Systems Now (Abstract). | Leslie Lamport |
| 1988 | Adequacy-Preserving Transformations of COSY Path Programs. | Maciej Koutny |
| 1988 | Optimal Synchronization of ABD Networks. | Ephraim Korach, Gerard Tel, Shmuel Zaks |
| 1988 | An Example of Communicating Production Systems. | Burkhard Igel, Georg Reichwein |