Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

17. WADT 2004: Barcelona, Catalonia, Spain

> Home > Conferences and Workshops > WADT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/wadt/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/2004
José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas:
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

- view
  authority control:
- export record
  dblp key:
  - conf/wadt/HeckelT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/HeckelT04
Reiko Heckel, Sebastian Thöne:
Behavior-Preserving Refinement Relations between Dynamic Software Architectures. 1-27

Contributed Papers

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

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.