Abstract is missing.
- Sometimes and Not Never Re-revisited: On Branching Versus Linear TimeMoshe Y. Vardi. 1-17 [doi]
- Controllers for Discrete Event Systems via MorphismsP. Madhusudan, P. S. Thiagarajan. 18-33 [doi]
- Synthesis from Knowledge-Based Specifications (Extended Abstract)Ron van der Meyden, Moshe Y. Vardi. 34-49 [doi]
- The Regular Viewpoint on PA-ProcessesDenis Lugiez, Ph. Schnoebelen. 50-66 [doi]
- Herbrand Automata for Hardware VerificationWerner Damm, Amir Pnueli, Sitvanit Ruah. 67-83 [doi]
- Control Flow Analysis for the pi-calculusChiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson. 84-98 [doi]
- The Tau-Laws of FusionJoachim Parrow, Björn Victor. 99-114 [doi]
- From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static OperatorsJosé Luis Vivas, Mads Dam. 115-130 [doi]
- Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract)Nobuko Yoshida. 131-146 [doi]
- Abstract Games for Infinite State ProcessesPerdita Stevens. 147-162 [doi]
- Alternating Refinement RelationsRajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi. 163-178 [doi]
- Possible Worlds for Process AlgebrasSimone Veglioni, Rocco De Nicola. 179-193 [doi]
- Automata and Coinduction (An Exercise in Coalgebra)Jan J. M. M. Rutten. 194-218 [doi]
- Axioms for Real-Time LogicsJean-François Raskin, Pierre Yves Schobbens, Thomas A. Henzinger. 219-236 [doi]
- Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract)Holger Hermanns, Markus Lohrey. 237-252 [doi]
- Simulation Is Decidable for One-Counter Nets (Extended Abstract)Parosh Aziz Abdulla, Karlis Cerans. 253-268 [doi]
- From Rewrite to Bisimulation CongruencesPeter Sewell. 269-284 [doi]
- Reasoning about Asynchronous Communication in Dynamically Evolving Object StructuresFrank S. de Boer. 285-300 [doi]
- Modelling IP MobilityRoberto M. Amadio, Sanjiva Prasad. 301-316 [doi]
- Reduction in TLAErnie Cohen, Leslie Lamport. 317-331 [doi]
- Detecting Deadlocks in Concurrent SystemsLisbeth Fajstrup, Eric Goubault, Martin Raußen. 332-347 [doi]
- Unfold/Fold Transformations of CCP ProgramsSandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo. 348-365 [doi]
- Type Systems for Concurrent Calculi (Abstract)Benjamin C. Pierce. 364-365 [doi]
- Stochastic Process Algebras Benefits for Performance Evaluation and Challenges (Extended Abstract)Ulrich Herzog. 366-372 [doi]
- Algebraic Techniques for Timed SystemsAlbert Benveniste, Claude Jard, Stephane Gaubert. 373-388 [doi]
- Praobabilistic Resource Failure in Real-Time Process AlgebraAnna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky. 389-404 [doi]
- Towards Performance Evaluation with General Distributions in Process AlgebrasMario Bravetti, Marco Bernardo, Roberto Gorrieri. 405-422 [doi]
- Stochastic Transition SystemsLuca de Alfaro. 423-438 [doi]
- It s About Time: Real-Time Logics ReviewedThomas A. Henzinger. 439-454 [doi]
- Controlled Timed AutomataFrançois Demichelis, Wieslaw Zielonka. 455-469 [doi]
- On Discretization of Delays in Timed Automata and Digital CircuitsEugene Asarin, Oded Maler, Amir Pnueli. 470-484 [doi]
- Partial Order Reductions for Timed SystemsJohan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi. 485-500 [doi]
- Unfolding and Finite Prefix for Nets with Read ArcsWalter Vogler, Alexei L. Semenov, Alexandre Yakovlev. 501-516 [doi]
- Asynchronous Cellular Automata and Asynchronous Automata for PomsetsDietrich Kuske. 517-532 [doi]
- Deriving Unbounded Petri Nets from Formal LanguagesPhilippe Darondeau. 533-548 [doi]
- Decompositions of Asynchronous SystemsRémi Morin. 549-564 [doi]
- Synthesis of ENI-systems Using Minimal RegionsMarta Pietkiewicz-Koutny. 565-580 [doi]
- A Categorical Axiomatics for BisimulationGian Luca Cattani, John Power, Glynn Winskel. 581-596 [doi]
- Fibrational Semantics of Dataflow NetworksEugene W. Stark. 597-612 [doi]
- A Relational Model of Non-deterministic DataflowThomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel. 613-628 [doi]
- Checking Verifications of Protocols and Distributed Systems by ComputerJan Friso Groote, François Monin, Jaco van de Pol. 629-655 [doi]