ISBN: 3-540-65462-3
TITLE: Algebraic Methodology and Software Technology
AUTHOR: Haeberer, Armando M. (Ed.)
TOC:

In these Proceedings, the invited talks are grouped into a separate corpus. Papers are loosely grouped by theme, as were the presentation sessions. Because of these weak groupings, to give names to the sessions would have been misleading.
Invited Talks (Extended Abstracts)
Duration Calculus, a Logical Approach to Real-Time Systems 1
Zhou Chaochen
Abstract Algebraic Logic 8
Don Pigozzi
Systematising Reactive System Design 17
Thomas S.E. Maibaum, Pauline Kan, and Kevin Lano
Systematic Design of Call-Coverage Features 23
Pamela Zave
Visual Abstractions for Temporal Verification 28
Zohar Manna, Anca Browne, Henny B. Sipma, and Toms E. Uribe
A Linear Metalanguage for Concurrency 42
Glynn Winskel
Presentations
Session 1
Verification of Bounded Delay Asynchronous Circuits with Timed Traces 59
Tomohiro Yoneda, Bin Zhou, and Bernd-Holger Schlingloff
Verification of Temporal Properties of Processes in a Setting with Data 74
Jan Friso Groote and Radu Mateescu
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus 91
Gabriel A. Baum, Marcelo F. Frias, and Thomas S.E. Maibaum
Effective Recognizability and Model Checking of Reactive Fiffo Automata 106
Gregoire Sutre, Alain Finkel, Olivier Roux, and Franck Cassez
Combining Methods for the Livelock Analysis of a Fault-Tolerant System 124
Bettina Buth, Jan Peleska, and Hui Shi
Session 2
Separating Sets by Modal Formulas 140
Bernhard Heinemann
Interpolation in Modal Logic 154
Maarten Marx
Building Models of Linear Logic 164
Valeria de Paiva and Andrea Schalk
Term Rewriting in a Logic of Special Relations 178
W. Marco Schorlemmer
Abstraction Barriers in Equational Proof 196
Jo Erskine Hannay
Session 3
A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes 214
Mourad Debbabi, Abdelkader Benzakour, and Bchir Ktari
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs 231
Jrgen Dingel
Consistency of Partial Process Specifications 248
Maarteen Steen, John Derrick, Eerke Boiten, and Howard Bowman
Obervational Logic 263
Rolf Hennicker and Michel Bidoit
Scheduling Algebra 278
Rob van Glabbeek and Peter Rittgen
Session 4
Algebraic Semantics of Coordination or What Is in a Signature? 293
Jos Luiz Fiadeiro and Antnia Lopes
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment 308
Leila Silva, Augusto Sampaio, Edna Barros, and Juliano Iyoda
An Algebraic View of Program Composition 325
Pietro Cenciarelli
Architectural Specifications in CASL 341
Michel Bidoit, Donald Sannella, and Andrzej Tarlecki
Pi-Congruences as CCS Equivalences 358
Paola Quaglia
Session 5
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models 373
Hlne Kirchner and Peter D. Mosses
Type Analysis for CHIP 389
Wlodzimierz Drabent and Pawel Pietrzak
Categorical Programming with Abstract Data Types 406
Martin Erwig
Condensing Lemmas for Pure Type Systems with Universes 422
Blas C. Ruiz Jimnez
Improving Computations in a Typed Functional Logic Language 438
Jess Manuel Almendros-Jimnez
Session 6
Abstract Interpretation of Prolog Programs 455
Fausto Spoto and Giorgio Levi
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementation of Pos 471
Robert Bagnara and Peter Schachte
A Single Perspective on Arrows between Institutions 486
Alfio Martini and Uwe Wolter
On Oracles for Interpreting Test Results against Algebraic Specifications 502
Patrcia D. L. Machado
Systems and Tool Demonstrations
RECOPLA: An Extendible Graphic Meta-Editor 519
Zoltan Gassmann, Luis Mandel, and Roshan Sembacuttiaratchy
The State of PEP 522
Bernd Grahlmann
The ABACO System - An Algebraic Based Action COmpiler 527
Hermano Perrelli de Moura and Luis Carlos de Sousa Menezes
Author Index 531
END
