Abstract is missing.
- Duration Calculus, a Logical Approach to Real-Time SystemsZhou Chaochen. 1-7 [doi]
- Abstract Algebraic LogicDon Pigozzi. 8-16 [doi]
- Systematising Reactive System DesignT. S. E. Maibaum, Pauline Kan, Kevin Lano. 17-22 [doi]
- Systematic Design of Call-Coverage FeaturesPamela Zave. 23-27 [doi]
- Visual Abstractions for Temporal VerificationZohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe. 28-41 [doi]
- A Linear Metalanguage for ConcurrencyGlynn Winskel. 42-58 [doi]
- Verification of Bounded Delay Asynchronous Circuits with Timed TracesTomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff. 59-73 [doi]
- Verification of Temporal Properties of Processes in a Setting with DataJan Friso Groote, Radu Mateescu. 74-90 [doi]
- A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational CalculusGabriel Baum, Marcelo F. Frias, T. S. E. Maibaum. 91-105 [doi]
- Effective Recognizability and Model Checking of Reactive Fiffo AutomataGrégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez. 106-123 [doi]
- Combining Methods for the Livelock Analysis of a Fault-Tolerant SystemBettina Buth, Jan Peleska, Hui Shi. 124-139 [doi]
- Separating Sets by Modal FormulasBernhard Heinemann. 140-153 [doi]
- Interpolation in Modal LogicMaarten Marx. 154-163 [doi]
- Building Models of Linear LogicValeria de Paiva, Andrea Schalk. 164-177 [doi]
- Term Rewriting in a Logic of Special RelationsW. Marco Schorlemmer. 178-195 [doi]
- Abstraction Barriers in Equational ProofJo Erskine Hannay. 196-213 [doi]
- A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order ProcessesMourad Debbabi, Abdelkader Benzakour, Béchir Ktari. 214-230 [doi]
- A Trace-Based Refinement Calculus for Shared-Variable Parallel ProgramsJürgen Dingel. 231-247 [doi]
- Consistency of Partial Process SpecificationsMaarten Steen, John Derrick, Eerke Boiten, Howard Bowman. 248-262 [doi]
- Observational LogicRolf Hennicker, Michel Bidoit. 263-277 [doi]
- Scheduling AlgebraRob J. van Glabbeek, Peter Rittgen. 278-292 [doi]
- Algebraic Semantics of Coordination or What Is in a SignatureJosé Luiz Fiadeiro, Antónia Lopes. 293-307 [doi]
- An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning EnvironmentLeila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda. 308-324 [doi]
- An Algebraic View of Program CompositionPietro Cenciarelli. 325-340 [doi]
- Architectural Specifications in CASLMichel Bidoit, Donald Sannella, Andrzej Tarlecki. 341-357 [doi]
- Pi-Congruences as CCS EquivalencesPaola Quaglia. 358-372 [doi]
- Algebraic Specifications, Higher-Order Types, and Set-Theoretic ModelsHélène Kirchner, Peter D. Mosses. 373-388 [doi]
- Type Analysis for CHIPWlodzimierz Drabent, Pawel Pietrzak. 389-405 [doi]
- Categorical Programming with Abstract Data TypesMartin Erwig. 406-421 [doi]
- Condensing Lemmas for Pure Type Systems with UniversesBlas C. Ruiz Jiménez. 422-437 [doi]
- Improving Computations in a Typed Functional Logic LanguageJesús Manuel Almendros-Jiménez. 438-454 [doi]
- Abstract Interpretation of Prolog ProgramsFausto Spoto, Giorgio Levi. 455-470 [doi]
- Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of PosRoberto Bagnara, Peter Schachte. 471-485 [doi]
- A Single Perspective on Arrows between InstitutionsAlfio Martini, Uwe Wolter. 486-501 [doi]
- On Oracles for Interpreting Test Results against Algebraic SpecificationsPatrícia D. L. Machado. 502-518 [doi]
- RECOPLA: An Extendible Graphic Meta-EditorZoltan Gassmann, Luis Mandel, Roshan Sembacuttiaratchy. 519-521 [doi]
- The State of PEPBernd Grahlmann. 522-526 [doi]
- The ABACO System - An Algebraic Based Action COmpilerHermano Perrelli de Moura, Luis Carlos de Sousa Menezes. 527-529 [doi]