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. Lecture Notes in Computer Science 2755 Springer 2003, ISBN 3-540-20537-3 BibTeX

@proceedings{DBLP:conf/wadt/2002,
  editor    = {Martin Wirsing and
               Dirk Pattinson and
               Rolf Hennicker},
  title     = {Recent Trends in Algebraic Development Techniques, 16th International
               Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27,
               2002, Revised Selected Papers},
  booktitle = {WADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2755},
  year      = {2003},
  isbn      = {3-540-20537-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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
Electronic Edition (link) BibTeX
Farhad Arbab, Jan J. M. M. Rutten:
A Coinductive Calculus of Component Connectors. 34-55
Electronic Edition (link) BibTeX
Egidio Astesiano, Gianna Reggio:
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. 56-81
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX

Invited Non-technical Papers

Ryoko Amadee Goguen, Joseph A. Goguen:
Zero, Connected, Empty. 118-126
Electronic Edition (link) BibTeX
Joseph A. Goguen, Ryoko Amadee Goguen:
Zero, Connected, Empty: An Essay after a Cantata. 127-128
Electronic Edition (link) BibTeX

Contributed Papers

David Aspinall:
Type Checking Parametrised Programs and Specifications in ASL+_FPC. 129-144
Electronic Edition (link) BibTeX
Paolo Baldan, Roberto Bruni, Ugo Montanari:
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. 145-164
Electronic Edition (link) BibTeX
Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro:
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. 165-184
Electronic Edition (link) BibTeX
Carlos Caleiro, Paula Gouveia, Jaime Ramos:
Completeness Results for Fibred Parchments: Beyond the Propositional Base. 185-200
Electronic Edition (link) BibTeX
Christine Choppy, Maritta Heisel:
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. 201-215
Electronic Edition (link) BibTeX
Joseph A. Goguen, Kai Lin, Grigore Rosu:
Conditional Circular Coinductive Rewriting with Case Analysis. 216-232
Electronic Edition (link) BibTeX
Piotr Hoffman:
Verifying Generative Casl Architectural Specifications. 233-252
Electronic Edition (link) BibTeX
Kathrin Hoffmann, Till Mossakowski:
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. 253-267
Electronic Edition (link) BibTeX
Jesse Hughes, Martijn Warnier:
The Coinductive Approach to Verifying Cryptographic Protocols. 268-283
Electronic Edition (link) BibTeX
Shin-ya Katsumata:
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages. 284-298
Electronic Edition (link) BibTeX
Hans-Jörg Kreowski, Sabine Kuske:
Approach-Independent Structuring Concepts for Rule-Based Systems. 299-311
Electronic Edition (link) BibTeX
Alexander Kurz:
Notions of Behaviour and Reachable-Part and Their Institutions. 312-327
Electronic Edition (link) BibTeX
Yngve Lamo, Michal Walicki:
Combining Specification Formalisms in the ?General Logic? of Multialgebras. 328-342
Electronic Edition (link) BibTeX
Antónia Lopes, José Luiz Fiadeiro:
On How Distribution and Mobility Interfere with Coordination. 343-358
Electronic Edition (link) BibTeX
Till Mossakowski:
Foundations of Heterogeneous Specification. 359-375
Electronic Edition (link) BibTeX
Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder:
Algebraic-Coalgebraic Specification in Co Casl. 376-392
Electronic Edition (link) BibTeX
Dirk Pattinson:
Translating Logics for Coalgebras. 393-408
Electronic Edition (link) BibTeX
Wieslaw Pawlowski:
Presenting and Combining Inference Systems: Presentations with Inference Rules. 409-424
Electronic Edition (link) BibTeX
Lutz Schröder, Till Mossakowski:
Monad-Independent Dynamic Logic in Has Casl. 425-441
Electronic Edition (link) BibTeX
Milan Urbásek:
Preserving Properties in System Redesign: Rule-Based Approach. 442-456
Electronic Edition (link) BibTeX