| 1999 | On the Semantics of Place/Transition Nets. | Rmi Morin, Brigitte Rozoy |
| 1999 | Partial Order Reduction for Model Checking of Timed Automata. | Marius Minea |
| 1999 | A Partial Order Event Model for Concurrent Objects. | Jos Meseguer, Carolyn L. Talcott |
| 1999 | Statecharts Via Process Algebra. | Gerald Lttgen, Michael von der Beeck, Rance Cleaveland |
| 1999 | Robust Satisfaction. | Orna Kupferman, Moshe Y. Vardi |
| 1999 | Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time. | Antonn Kucera, Richard Mayr |
| 1999 | Generating Type Systems for Process Graphs. | Barbara Knig |
| 1999 | Localizability of Fairness Constraints and Their Distributed Implementations. | Yuh-Jzer Joung |
| 1999 | Techniques for Decidability and Undecidability of Bisimilarity. | Petr Jancar, Faron Moller |
| 1999 | Rectangular Hybrid Games. | Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar |
| 1999 | Petri Nets, Configuration Structures and Higher Dimensional Automata. | Rob J. van Glabbeek |
| 1999 | Open Bisimulations on Chi Processes. | Yuxi Fu |
| 1999 | Object Types against Races. | Cormac Flanagan, Martn Abadi |
| 1999 | The Expressive Power of Temporal Logic of Actions (Extended Abstract). | Arkadi Estrin, Michael Kaminski |
| 1999 | An Unfolding Algorithm for Synchronous Products of Transition Systems. | Javier Esparza, Stefan Rmer |
| 1999 | Metrics for Labeled Markov Systems. | Jose Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 1999 | Timed Automata and the Theory of Real Numbers. | Hubert Comon, Yan Jurski |
| 1999 | Temporal Process Logic (Abstract). | Rance Cleaveland |
| 1999 | Generic Process Algebras for Asynchronous Communication. | Frank S. de Boer, Gianluigi Zavattaro |
| 1999 | Model Checking of Time Petri Nets Based on Partial Order Semantics. | Burkhard Bieber, Hans Fleischhack |
| 1999 | Weak and Strong Composition of High-Level Petri-Nets. | Eike Best, Alexander Lavrov |
| 1999 | Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic. | Batrice Brard, Laurent Fribourg |
| 1999 | From Synchrony to Asynchrony. | Albert Benveniste, Benot Caillaud, Paul Le Guernic |
| 1999 | Approximate Symbolic Model Checking of Continuous-Time Markov Chains. | Christel Baier, Joost-Pieter Katoen, Holger Hermanns |
| 1999 | Synthesis of Large Concurrent Programs via Pairwise Composition. | Paul C. Attie |