Conferences in DBLP

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

1. Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
   AGILE: Software Architecture for Mobility. [Citation Graph (0, 0)][DBLP]
   WADT, 2002, pp:1-33 [Conf]
   
2. Farhad Arbab, Jan J. M. M. Rutten
   A Coinductive Calculus of Component Connectors. [Citation Graph (0, 0)][DBLP]
   WADT, 2002, pp:34-55 [Conf]
   
3. Egidio Astesiano, Gianna Reggio
   An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. [Citation Graph (0, 0)][DBLP]
   WADT, 2002, pp:56-81 [Conf]
   
4. Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing
   MultiMedia Instruction in Safe and Secure Systems. [Citation Graph (0, 0)][DBLP]
   WADT, 2002, pp:82-117 [Conf]
   
5. Ryoko Amadee Goguen, Joseph A. Goguen
   Zero, Connected, Empty. [Citation Graph (0, 0)][DBLP]
   WADT, 2002, pp:118-126 [Conf]
   
6. Joseph A. Goguen, Ryoko Amadee Goguen
   Zero, Connected, Empty: An Essay after a Cantata. [Citation Graph (0, 0)][DBLP]
   WADT, 2002, pp:127-128 [Conf]
   
7. David Aspinall
   Type Checking Parametrised Programs and Specifications in ASL+_FPC. [Citation Graph (0, 0)][DBLP]
   WADT, 2002, pp:129-144 [Conf]
   
8. Paolo Baldan, Roberto Bruni, Ugo Montanari
   Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. [Citation Graph (0, 0)][DBLP]
   WADT, 2002, pp:145-164 [Conf]
   
9. Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
   Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. [Citation Graph (0, 0)][DBLP]
   WADT, 2002, pp:165-184 [Conf]
   
10. Carlos Caleiro, Paula Gouveia, Jaime Ramos
    Completeness Results for Fibred Parchments: Beyond the Propositional Base. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:185-200 [Conf]
    
11. Christine Choppy, Maritta Heisel
    Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:201-215 [Conf]
    
12. Joseph A. Goguen, Kai Lin, Grigore Rosu
    Conditional Circular Coinductive Rewriting with Case Analysis. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:216-232 [Conf]
    
13. Piotr Hoffman
    Verifying Generative Casl Architectural Specifications. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:233-252 [Conf]
    
14. Kathrin Hoffmann, Till Mossakowski
    Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:253-267 [Conf]
    
15. Jesse Hughes, Martijn Warnier
    The Coinductive Approach to Verifying Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:268-283 [Conf]
    
16. Shin-ya Katsumata
    Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:284-298 [Conf]
    
17. Hans-Jörg Kreowski, Sabine Kuske
    Approach-Independent Structuring Concepts for Rule-Based Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:299-311 [Conf]
    
18. Alexander Kurz
    Notions of Behaviour and Reachable-Part and Their Institutions. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:312-327 [Conf]
    
19. Yngve Lamo, Michal Walicki
    Combining Specification Formalisms in the ?General Logic? of Multialgebras. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:328-342 [Conf]
    
20. Antónia Lopes, José Luiz Fiadeiro
    On How Distribution and Mobility Interfere with Coordination. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:343-358 [Conf]
    
21. Till Mossakowski
    Foundations of Heterogeneous Specification. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:359-375 [Conf]
    
22. Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
    Algebraic-Coalgebraic Specification in Co Casl. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:376-392 [Conf]
    
23. Dirk Pattinson
    Translating Logics for Coalgebras. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:393-408 [Conf]
    
24. Wieslaw Pawlowski
    Presenting and Combining Inference Systems: Presentations with Inference Rules. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:409-424 [Conf]
    
25. Lutz Schröder, Till Mossakowski
    Monad-Independent Dynamic Logic in Has Casl. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:425-441 [Conf]
    
26. Milan Urbásek
    Preserving Properties in System Redesign: Rule-Based Approach. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:442-456 [Conf]