Abstract is missing.
- Recent Developments in the Mathematics of Reactive Systems (Extended Abstract)Jeremy Gunawardena. 1-4
- Partial-Order Reduction in the Weak Modal Mu-CalculusY. S. Ramakrishna, Scott A. Smolka. 5-24
- Cyclic Vector LanguagesM. W. Shields. 25-44
- A Product Version of Dynamic Linear Time Temporal LogicJesper G. Henriksen, P. S. Thiagarajan. 45-58
- Reasoning about Cryptographic Protocols in the Spi CalculusMartín Abadi, Andrew D. Gordon. 59-73
- Modularity for Timed and Hybrid SystemsRajeev Alur, Thomas A. Henzinger. 74-88
- A Universal Reactive MachineHenrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen. 89-103
- Bounded Stacks, Bags and QueuesJos C. M. Baeten, Jan A. Bergstra. 104-118
- Adding Partial Orders to Linear Temporal LogicGirish Bhat, Doron Peled. 119-134
- Reachability Analysis of Pushdown Automata: Application to Model-CheckingAhmed Bouajjani, Javier Esparza, Oded Maler. 135-150
- Synthesis of Nets with Inhibitor ArcsNadia Busi, G. Michele Pinna. 151-165
- An Algebraic Theory of Multiple ClocksRance Cleaveland, Gerald Lüttgen, Michael Mendler. 166-180
- Horizontal and Vertical Structuring Techniques for StatechartsHartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg. 181-195
- Implicit Typing à la ML for the Join-CalculusCédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy. 196-212
- Proving Safety Properties of Infinite State Systems by Compilation into Presburger ArithmeticLaurent Fribourg, Hans Olsén. 213-227
- Axiomatizing Flat IterationRob J. van Glabbeek. 228-242
- Probabilistic Concurrent Constraint ProgrammingVineet Gupta, Radha Jagadeesan, Vijay A. Saraswat. 243-257
- On the Complexity of Verifying Concurrent Transition SystemsDavid Harel, Orna Kupferman, Moshe Y. Vardi. 258-272
- Fair SimulationThomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani. 273-287
- High Level Expressions with their SOS Semantics (Extended Abstract)Hanna Klaudel, Robert-C. Riemann. 288-301
- How to Parallelize Sequential ProcessesAntonín Kucera. 302-316
- Causal Ambiguity and Partial Orders in Event StructuresRom Langerak, Ed Brinksma, Joost-Pieter Katoen. 317-331
- Model Checking PA-ProcessesRichard Mayr. 332-346
- Bisimulation and Propositional Intuitionistic LogicAnna Patterson. 347-360
- A Rigorous Analysis of Concurrent Operations on B-TreesAnna Philippou, David Walker. 361-375
- First-Order Axioms for AsynchronyPeter Selinger. 376-390
- On Implementations and Semantics of a Concurrent Programming LanguagePeter Sewell. 391-405
- Algebraic Characterization of Petri Net Pomset SemanticsHarro Wimmel, Lutz Priese. 406-420