| 1990 | A New Strategy for Proving omega-Completeness applied to Process Algebra. Jan Friso Groote |
| 1990 | A Preorder for Partial Process Specifications. Rance Cleaveland, Bernhard Steffen |
| 1990 | A Programming Logic for Formal Concurent Systems. E. Pascal Gribomont |
| 1990 | A Synchronous Calculus of Relative Frequency. Chris M. N. Tofts |
| 1990 | A Temporal Approach to Algebraic Specifications. Yulin Feng, Junbo Liu |
| 1990 | A Temporal Calculus of Communicating Systems. Faron Moller, Chris M. N. Tofts |
| 1990 | An Axiomatization of Lamport's Temporal Logic of Actions. Martín Abadi |
| 1990 | An Implementation of a Translational Semantics for an Imperative Language. Lars-Åke Fredlund, Bengt Jonsson, Joachim Parrow |
| 1990 | Back and Forth Bisimulations. Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager |
| 1990 | CCSR: A Calculus for Communicating Shared Resources. Richard Gerber, Insup Lee |
| 1990 | CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings Jos C. M. Baeten, Jan Willem Klop |
| 1990 | Convergence of Iteration Systems (Extended Abstract). Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda |
| 1990 | Delay-Insensitive Circuits: An Algebraic Approach to their Design. Mark B. Josephs, Jan Tijmen Udding |
| 1990 | Effective Solutions to Domain Equations - An Approach to Effective Denotational Semantics. Serge Yoccoz |
| 1990 | Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes. Chi-Chang Jou, Scott A. Smolka |
| 1990 | Factorization of Finite State Machines under Observational Equivalence. Huajun Qin, Philip Lewis |
| 1990 | Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ... Kim Guldstrand Larsen |
| 1990 | Let's Make Models (Abstract). C. A. R. Hoare |
| 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 | On the Compositional Checking of Validity (Extended Abstract). Glynn Winskel |
| 1990 | Partial Order Logics for Elementary Net Systems: State- and Event-approaches. Antonia Sinachopoulos |
| 1990 | Partial Order Semantics of Concurrent Programs (Abstract). Eike Best |
| 1990 | Priority as Extremal Probability. Scott A. Smolka, Bernhard Steffen |
| 1990 | Process Algebra with a Zero Object. Jos C. M. Baeten, Jan A. Bergstra |
| 1990 | Proving Termination of Communicating Programs. Pawel Paczkowski |
| 1990 | Real-Time Behaviour of Asynchronous Agents. Wang Yi |
| 1990 | Reduction and Design of Well-behaved Concurrent Systems. Jörg Desel |
| 1990 | Rewriting as a Unified Model of Concurrency. José Meseguer |
| 1990 | SCONE: A Simple Calculus of Nets. Roberto Gorrieri, Ugo Montanari |
| 1990 | Superimposition for Interacting Processes. Nissim Francez, Ira R. Forman |
| 1990 | Synthesis Rules for Petri Nets, and How they Lead to New Results. Javier Esparza |
| 1990 | Testing Equivalences and Fully Abstract Models for Probabilistic Processes. Ivan Christoff |
| 1990 | The Linear Time-Branching Time Spectrum (Extended Abstract). Rob J. van Glabbeek |
| 1990 | The Need for Headers: An Impossibility Result for Communication over Unreliable Channels. Alan D. Fekete, Nancy A. Lynch |
| 1990 | Transition System Specifications with Negative Premises (Extended Abstract). Jan Friso Groote |
| 1990 | Value-Passing in Process Algebras (Abstract). Matthew Hennessy |
| 1990 | Verifying Temporal Properties of Processes. Julian C. Bradfield, Colin Stirling |