Abstract is missing.
- Static Analysis Versus Model Checking for Bug FindingDawson R. Engler. 1 [doi]
- The Benefits of Exposing Calls and ReturnsRajeev Alur. 2-3 [doi]
- A Compositional Approach to the Stochastic Dynamics of Gene NetworksLuca Cardelli. 4 [doi]
- Games Other People PlayChristos H. Papadimitriou. 5 [doi]
- Type-Directed ConcurrencyDeepak Garg, Frank Pfenning. 6-20 [doi]
- Multiport Interaction Nets and ConcurrencyDamiano Mazza. 21-35 [doi]
- Model Checking for ::::pi::::-Calculus Using Proof SearchAlwen Fernanto Tiu. 36-50 [doi]
- A Game Semantics of the Asynchronous ::::pi::::-CalculusJim Laird. 51-65 [doi]
- Efficient On-the-Fly Algorithms for the Analysis of Timed GamesFranck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime. 66-80 [doi]
- Modal Logics for Timed ControlPatricia Bouyer, Franck Cassez, François Laroussinie. 81-94 [doi]
- Timed Shuffle ExpressionsCatalin Dima. 95-109 [doi]
- A New Modality for Almost Everywhere Properties in Timed AutomataHouda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie. 110-124 [doi]
- The Coarsest Congruence for Timed Automata with Deadlines Contained in BisimulationPedro R. D Argenio, Biniam Gebremichael. 125-140 [doi]
- A Behavioural Pseudometric for Metric Labelled Transition SystemsFranck van Breugel. 141-155 [doi]
- On Probabilistic Program Equivalence and RefinementAndrzej S. Murawski, Joël Ouaknine. 156-170 [doi]
- Probabilistic Anonymity171-185 [doi]
- Secrecy Despite Compromise: Types, Cryptography, and the Pi-CalculusAndrew D. Gordon, Alan Jeffrey. 186-201 [doi]
- Timed Spi-Calculus with Types for Secrecy and AuthenticityChristian Haack, Alan Jeffrey. 202-216 [doi]
- Selecting Theories and Recursive ProtocolsTomasz Truderung. 217-232 [doi]
- Constraint Solving for Contract-Signing ProtocolsDetlef Kähler, Ralf Küsters. 233-247 [doi]
- A Ground-Complete Axiomatization of Finite State Processes in Process AlgebraJos C. M. Baeten, Mario Bravetti. 248-262 [doi]
- Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPPSibylle B. Fröschle, Slawomir Lasota. 263-277 [doi]
- Bisimulations Up-to for the Linear Time Branching Time SpectrumDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez. 278-292 [doi]
- Deriving Weak Bisimulation Congruences from Reduction SystemsRoberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski. 293-307 [doi]
- SOS for Higher Order ProcessesMohammad Reza Mousavi, Murdoch Gabbay, Michel A. Reniers. 308-322 [doi]
- The Individual and Collective Token Interpretations of Petri NetsRob J. van Glabbeek. 323-337 [doi]
- Merged Processes - A New Condensed Representation of Petri Net BehaviourVictor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler. 338-352 [doi]
- Concurrent Clustered ProgrammingVijay A. Saraswat, Radha Jagadeesan. 353-367 [doi]
- A Theory of System Behaviour in the Presence of Node and Link FailuresAdrian Francalanza, Matthew Hennessy. 368-382 [doi]
- Comparing Two Approaches to Compensable Flow CompositionRoberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari. 383-397 [doi]
- Transactions in RCCSVincent Danos, Jean Krivine. 398-412 [doi]
- Two-Player Nonzero-Sum ::::omega::::-Regular GamesKrishnendu Chatterjee. 413-427 [doi]
- Games Where You Can Play Optimally Without Any MemoryHugo Gimbert, Wieslaw Zielonka. 428-442 [doi]
- On Implementation of Global Concurrent Systems with Local Asynchronous ControllersBlaise Genest. 443-457 [doi]
- Defining FairnessHagen Völzer, Daniele Varacca, Ekkart Kindler. 458-472 [doi]
- Regular Symbolic Analysis of Dynamic Networks of Pushdown SystemsAhmed Bouajjani, Markus Müller-Olm, Tayssir Touili. 473-487 [doi]
- Termination Analysis of Integer Linear LoopsAaron R. Bradley, Zohar Manna, Henny B. Sipma. 488-502 [doi]
- A Practical Application of Geometric Semantics to Static Analysis of Concurrent ProgramsEric Goubault, Emmanuel Haucourt. 503-517 [doi]
- Verification of Qualitative ConstraintsStéphane Demri, Régis Gascon. 518-532 [doi]
- Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz TracesPaul Gastin, Dietrich Kuske. 533-547 [doi]
- Taming Interface SpecificationsTiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck. 548-561 [doi]
- Synthesis of Distributed Systems from Knowledge-Based SpecificationsRon van der Meyden, Thomas Wilke. 562-576 [doi]