16. WADT 2002: Frauenchiemsee, Germany
Martin Wirsing, Dirk Pattinson, Rolf Hennicker (Eds.): Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-20537-3
Invited Technical Papers
- 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. 1-33
- Egidio Astesiano, Gianna Reggio: An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. 56-81
- 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. 82-117
Invited Non-technical Papers
Contributed Papers
- David Aspinall: Type Checking Parametrised Programs and Specifications in ASL+FPC. 129-144
- Paolo Baldan, Roberto Bruni, Ugo Montanari: Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. 145-164
- Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. 165-184
- Carlos Caleiro, Paula Gouveia, Jaime Ramos: Completeness Results for Fibred Parchments: Beyond the Propositional Base. 185-200
- Christine Choppy, Maritta Heisel: Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. 201-215
- Joseph A. Goguen, Kai Lin, Grigore Rosu: Conditional Circular Coinductive Rewriting with Case Analysis. 216-232
- Piotr Hoffman: Verifying Generative Casl Architectural Specifications. 233-252
- Kathrin Hoffmann, Till Mossakowski: Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. 253-267
- Jesse Hughes, Martijn Warnier: The Coinductive Approach to Verifying Cryptographic Protocols. 268-283
- Shin-ya Katsumata: Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages. 284-298
- Hans-Jörg Kreowski, Sabine Kuske: Approach-Independent Structuring Concepts for Rule-Based Systems. 299-311
- Alexander Kurz: Notions of Behaviour and Reachable-Part and Their Institutions. 312-327
- Yngve Lamo, Michal Walicki: Combining Specification Formalisms in the ?General Logic? of Multialgebras. 328-342
- Antónia Lopes, José Luiz Fiadeiro: On How Distribution and Mobility Interfere with Coordination. 343-358
- Till Mossakowski: Foundations of Heterogeneous Specification. 359-375
- Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder: Algebraic-Coalgebraic Specification in Co Casl. 376-392
- Dirk Pattinson: Translating Logics for Coalgebras. 393-408
- Wieslaw Pawlowski: Presenting and Combining Inference Systems: Presentations with Inference Rules. 409-424
- Milan Urbásek: Preserving Properties in System Redesign: Rule-Based Approach. 442-456
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team