Abstract is missing.
- Verifying a Hotel Key Card SystemTobias Nipkow. 1-14 [doi]
- Z/Eves and the Mondex Electronic PurseJim Woodcock, Leo Freitas. 15-34 [doi]
- Verification Constraint Problems with StrengtheningAaron R. Bradley, Zohar Manna. 35-49 [doi]
- Quantitative µ-Calculus Analysis of Power Management in Wireless NetworksAnnabelle McIver. 50-64 [doi]
- Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCaMila E. Majster-Cederbaum, Christoph Minnameier. 65-79 [doi]
- A Topological Approach of the Web ClassificationGabriel Ciobanu, Danut Rusu. 80-92 [doi]
- Bisimulation Congruences in the Calculus of Looping SequencesRoberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina. 93-107 [doi]
- Stronger Reduction Criteria for Local First SearchMarcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler. 108-122 [doi]
- A Lattice-Theoretic Model for an Algebra of Communicating Sequential ProcessesMalcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes. 123-137 [doi]
- A Petri Net Translation of ::::pi::::-Calculus Terms138-152 [doi]
- Handling Algebraic Properties in Automatic Analysis of Security ProtocolsYohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko. 153-167 [doi]
- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid SystemsGordon J. Pace, Gerardo Schneider. 168-182 [doi]
- Thread-Modular Verification Is Cartesian Abstract InterpretationAlexander Malkis, Andreas Podelski, Andrey Rybalchenko. 183-197 [doi]
- Capture-Avoiding Substitution as a Nominal AlgebraMurdoch Gabbay, Aad Mathijssen. 198-212 [doi]
- Prime Decomposition Problem for Several Kinds of Regular CodesKieu Van Hung, Do Long Van. 213-227 [doi]
- A New Approach to Determinisation Using Bit-ParallelismJan Supol, Borivoj Melichar. 228-241 [doi]
- Proving ATL* Properties of Infinite-State SystemsMatteo Slanina, Henny B. Sipma, Zohar Manna. 242-256 [doi]
- Type Safety for FJ and FGJShuling Wang, Quan Long, Zongyan Qiu. 257-271 [doi]
- Partizan Games in Isabelle/HOLZFSteven Obua. 272-286 [doi]
- Proof-Producing Program AnalysisAmine Chaieb. 287-301 [doi]
- Reachability Analysis of Mobile Ambients in Fragments of AC Term RewritingGiorgio Delzanno, Roberto Montagna. 302-316 [doi]
- Interesting Properties of the Real-Time Conformance RelationMoez Krichen, Stavros Tripakis. 317-331 [doi]
- Model Checking Duration Calculus: A Practical ApproachRoland Meyer, Johannes Faber, Andrey Rybalchenko. 332-346 [doi]
- Spatio-temporal Model Checking for Mobile Real-Time SystemsJan-David Quesel, Andreas Schäfer. 347-361 [doi]
- Tutorial on Formal Methods for Distributed and Cooperative SystemsChristine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg. 362-365 [doi]
- Decision Procedures for the Formal Analysis of SoftwareDavid Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen. 366-370 [doi]