Abstract is missing.
- Taming Infinite State SpacesColin Sterling. 1
- Silence is Golden: Branching Bisimilarity is Decidable for Context-Free ProcessesHans Hüttel. 2-12
- Computing Distinguishing Formulas for Branching BisimulationHenri Korver. 13-23
- Compositional Checking of SatisfactionHenrik Reif Andersen, Glynn Winskel. 24-36
- An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent SystemsRocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori. 37-47
- A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-CalculusRance Cleaveland, Bernhard Steffen. 48-58
- Automatic Temporal Verification of Buffer SystemsA. Prasad Sistla, Lenore D. Zuck. 59-69
- Mechanically Checked Proofs of Kernel SpecificationWilliam R. Bevier, Jørgen F. Søgaard-Andersen. 70-82
- A Top Down Approach to the Formal Specification of SCI Cache CoherenceStein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas. 83-91
- Integer Programming in the Analysis of Concurrent SystemsGeorge S. Avrunin, Ugo A. Buy, James C. Corbett. 92-102
- The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based ApproachMichel Barbeau, Gregor von Bochmann. 103-113
- Error Diagnosis in Finite Communicating SystemsAnne Rasse. 114-124
- Temporal Precondition Verification of Design TransformationsRanga Vemuri, Anuradha Sridhar. 125-135
- PAM: A Process Algebra ManipulatorHuimin Lin. 136-146
- The Concurrency Workbench with PrioritiesClaus Torp Jensen. 147-157
- A Proof Assistant for PSFSjouke Mauw, Gert J. Veltink. 158-168
- Avoiding State Exposion by Composition of Minimal Covering GraphsAlain Finkel, Laure Petrucci. 169-180
- "On the Fly" Verification of Behavioural Equivalences and PreordersJean-Claude Fernandez, Laurent Mounier. 181-191
- Bounded-memory Algorithms for Verification On-the-flyClaude Jard, Thierry Jéron. 192-202
- Generating BDDs for Symbolic Model Checking in CCSReinhard Enders, Thomas Filkorn, Dirk Taubner. 203-213
- Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine VerificationHiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima. 214-224
- Functional Extension of Symbolic Model CheckingThomas Filkorn. 225-232
- An Automated Proof Technique for Finite-State Machine EquivalenceWenbo Mao, George J. Milne. 233-243
- From Data Structure to Process StructureEd Brinksma. 244-254
- Checking for Language Inclusion Using Simulation PreordersDavid L. Dill, Alan J. Hu, Howard Wong-Toi. 255-265
- A Semantic Driven Method to Check the Finiteness of CCS ProcessesNicoletta De Francesco, Paola Inverardi. 266-276
- Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential BehaviorMatthias Mutz. 277-287
- Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order LogicMonica Nesi. 288-298
- A Two-Level Formal Verification Methodology using HOL and COSMOSCarl-Johan H. Seger, Jeffrey J. Joyce. 299-309
- Efficient Algorithms for Verification of Equivalences for Probabilistic ProcessesLinda Christoff, Ivan Christoff. 310-321
- Partial-Order Model Checking: A Guide for the PerplexedDavid K. Probst, Hon F. Li. 322-331
- Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety PropertiesPatrice Godefroid, Pierre Wolper. 332-342
- Complexity Results for POMSET LanguagesJoan Feigenbaum, Jeremy A. Kahn, Carsten Lund. 343-353
- Mechanically Verifying Safety and Liveness Properties of Delay Insensitive CircuitsDavid M. Goldschlag. 354-364
- Automating Most Parts of Hardware Proofs in HOLKlaus Schneider, Ramayya Kumar, Thomas Kropf. 365-375
- An Overview and Synthesis on Timed Process AlgebrasXavier Nicollin, Joseph Sifakis. 376-398
- Minimum and Maximum Delay Problems in Real-Time SystemsCostas Courcoubetis. 399-409
- Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal LogicKiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima. 410-420
- Verifying Properties of HMS Machine Specifications of Real-Time SystemsArmen Gabrielian, R. Iyer. 421-431
- A Linear Time Process AlgebraAlan Jeffrey. 432-442
- Deciding Properties of Regular Real Time ProcessesUno Holmer, Kim Guldstrand Larsen, Wang Yi. 443-453
- An Algebra of Boolean ProcessesCostas Courcoubetis, Susanne Graf, Joseph Sifakis. 454-465
- Comparing Generic State MachinesMichel Langevin, Eduard Cerny. 466-476
- An Automata Theoretic Approach to Temporal LogicGjalt G. de Jong. 477-487