17. WADT 2004: Barcelona, Catalonia, Spain

José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (Eds.): Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3423 Springer 2004, ISBN 3-540-25327-0

Invited Technical Paper

Reiko Heckel, Sebastian Thöne:
Behavior-Preserving Refinement Relations between Dynamic Software Architectures. 1-27

Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello:
Modelling Mobility with Petri Hypernets. 28-44
Carlos Caleiro, Jaime Ramos:
Cryptomorphisms at Work. 45-60
Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff:
Towards a Formal Specification of an Electronic Payment System in CSP-CASL. 61-78
Antónia Lopes, José Luiz Fiadeiro:
Algebraic Semantics of Design Abstractions for Context-Awareness. 79-93
Christoph Lüth, Markus Roggenbach, Lutz Schröder:
CCC - The Casl Consistency Checker. 94-105
Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner:
Ontologies for the Semantic Web in Casl. 106-125
Narciso Martí-Oliet, José Meseguer, Miguel Palomino:
Theoroidal Maps as Algebraic Simulations. 126-143
Michal Misiak:
Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems. 144-161
Till Mossakowski, Donald Sannella, Andrzej Tarlecki:
A Simple Refinement Language for Casl. 162-185
Nikos Mylonakis, Fernando Orejas:
A Distributed and Mobile Component System Based on the Ambient Calculus. 186-200
Arnd Poetzsch-Heffter, Nicole Rauch:
Application and Formal Specification of Sorted Term-Position Algebras. 201-217
Grigore Rosu:
From Conditional to Unconditional Rewriting. 218-233
Lutz Schröder, Till Mossakowski, Christoph Lüth:
Type Class Polymorphism in an Institutional Framework. 234-251
Artur Zawlocki:
Architectural Specifications for Reactive Systems. 252-269