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