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
Contributed Papers
- 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
Last update Fri May 25 08:47:30 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
