Abstract is missing.
- Equational Logic as a ToolDavid Gries. 1-17
- Teaching Mathematics to Software EngineersJeannette M. Wing. 18-40
- The Role of Education and Trainig in the Industrial Application of Formal MethodsTed Ralston, Susan L. Gerhart, Dan Craigen. 41-49
- Information AlgebrasEwa Orlowska. 50-65
- Verification of Logic Programs with Delay DeclarationsKrzysztof R. Apt, Ingrid Luitjes. 66-90
- An Introduction to Category-based Equational LogicJoseph A. Goguen, Razvan Diaconescu. 91-126
- Knowledge Based Computation (Extended Abstract)Rohit Parikh. 127-132
- Order-sorted Algebraic Specifications with Higher-order FunctionsAnne Elisabeth Haxthausen. 133-151
- Proving the Correctness of Behavioural ImplementationsMichel Bidoit, Rolf Hennicker. 152-168
- On the Decidability of Process Equivalences for the pi-calculusMads Dam. 169-183
- Detecting Isomorphisms of Modular Specifications with DiagramsCatherine Oriat. 184-198
- Higher-Order Narrowing with Convergent SystemsChristian Prehofer. 199-213
- Context-Free Event Domains are RecognizableEric Badouel, Philippe Darondeau, Jean-Claude Raoult. 214-229
- Encoding Natural Semantics in CoqDelphine Terrasse. 230-244
- Mongruences and Cofree CoalgebrasBart Jacobs. 245-260
- Semantic Typing for Parametric Algebraic SpecificationsMaría Victoria Cengarle. 261-276
- Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract)Lalita Jategaonkar Jagadeesan, Radha Jagadeesan. 277-291
- Verification in Continuous Time by Discrete ReasoningLuca de Alfaro, Zohar Manna. 292-306
- Dynamic Matrices and the Cost Analysis of Concurrent ProgramsGian Luigi Ferrari, Ugo Montanari. 307-321
- Petri Nets, Traces, and Local Model CheckingAllan Cheng. 322-337
- An Algebraic Framework for Developing and Maintaining Real-Time SystemsElizabeth I. Leonard, Amy E. Zwarico. 338-352
- Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITYPierre Collette, Edgar Knapp. 353-367
- CPO Models for Infinite Term RewritingAndrea Corradini, Fabio Gadducci. 368-384
- Completeness Results for Two-sorted Metric Temporal LogicsAngelo Montanari, Maarten de Rijke. 385-399
- On Mechanizing Proofs within a Complete Proof System for ::::Unity::::Naima Brown, Abdelillah Mokkedem. 400-415
- Automated Reasoning About Parallel Algorithms Using PowerlistsDeepak Kapur, Mahadevan Subramaniam. 416-430
- Representing, Verifying and Applying Software Development Steps using the PVS SystemAxel Dold. 431-445
- An Algebraic Development Technique for Information SystemsMartin Gogolla, Rudolf Herzig. 446-460
- A Framework for Machine-Assisted User Interface VerificationPeter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena. 461-474
- Specification of the Unix File System: A Comparative Case StudyMaritta Heisel. 475-488
- A Calculus of Countable Broadcasting SystemsYoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki. 489-503
- Symbolic Timing DevicesAnne Bergeron. 504-517
- An Algebraic Construction of the Well-Founded ModelRajiv Bagai, Rajshekhar Sunderraman. 518-530
- Confluence in Concurrent Constraint ProgrammingMoreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi. 531-545
- A Generic Algebra for Data Collections Based on Constructive LogicP. Rajagopalan, C. P. Tsang. 546-560
- Partial Order Programming ::::(Revisited)::::Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon. 561-575
- SPIKE: A System for Automatic Inductive ProofsAdel Bouhoula, Michaël Rusinowitch. 576-577
- SEAMLESS: Knowledge Based Evolutionary System SynthesisJutta Eusterbrock. 578-580
- An Object-Oriented Front-end for Deductive DatabasesHasan M. Jamil, Laks V. S. Lakshmanan. 581-584
- The SuRE Programming FrameworkBharat Jayaraman, Kyonghee Moon. 585
- A Declarative System for Multi-database InteroperabilityLaks V. S. Lakshmanan, Iyer N. Subramanian, Despina Papoulis, Nematollaah Shiri. 586-589
- The METAGEN SystemHouari A. Sahraoui. 590-591