ISBN: 3-540-66246-4
TITLE: Recent Trends in Algebraic Development Techniques
AUTHOR: Fiadeiro, Jose L. (Ed.)
TOC:

An Algebraic Framework for Separate Type-Checking 1
Davide Ancona
Moving Specification Structures Between Logical Systems 16
Tomasz Borzyszkowski
Normal Forms for Partitions and Relations 31
Roberto Bruni, Fabio Gadducci and Ugo Montanari
Parameterisation of Logics 48
Carlos Caleiro, Cristina Sernadas and Amlcar Sernadas
Semantic Constructions for Hidden Algebra 63
Corina Cirstea
Functorial Semantics for Multi-algebras 79
Andrea Corradini and Fabio Gadducci
An Algebra of Graph Derivations Using Finite (co) Limit Double Theories 92
Andrea Corradini, Martin GroeRhode and Reiko Heckel
Hierarchical Heterogeneous Specifications 107
Sophie Coudert, Gilles Bernot and Pascale Le Gall
Parallel Admissible Graph Rewriting 122
Rachid Echahed and Jean-Christophe Janodet
Refinements and Modules for Typed Graph Transformation Systems 138
Martin GroeRhode, Francesco Parisi Presicce and Marta Simeoni
Complete Strategies for Term Graph Narrowing 152
Annegret Habel and Detlef Plump
Non-deterministic Computations in ELAN 168
Hlene Kirchner and Pierre-Etienne Moreau
Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics 183
Beata Konikowska
Translating OBJ3 into CASL: The Institution Level 198
Till Mossakowski
CASL: A Guided Tour of Its Design 216
Peter D. Mosses
Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets 241
J. Padberg
Using Reflection to Specify Transaction Sequences in Rewriting Logic 261
Isabel Pita and Narciso Mart-Oliet
Concurrency and Data Types: A Specification Method An Example with LOTOS 277
Pascal Poizat, Christine Choppy and Jean-Claude Royer
The Situation and State Calculus versus Branching Temporal Logic 293
Jaime Ramos and Amlcar Sernadas
Modular Specification of Concurrent Systems with Observational Logic 308
Pedro Resende
Proof Normalization of Structured Algebraic Specifications Is Convergent 324
Martin Wirsing, John N. Crossley and Hannes Peterreins
Author Index 337
END
