Conferences in DBLP

Workshop on Algebraic Development Techniques (WADT) (wadt)
2004 (conf/wadt/2004)

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