default search action
16. WADT 2002: Frauenchiemsee, Germany
- Martin Wirsing, Dirk Pattinson, Rolf Hennicker:
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
Invited Technical Papers
- Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola
, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch
AGILE: Software Architecture for Mobility. 1-33 - Farhad Arbab, Jan J. M. M. Rutten:
A Coinductive Calculus of Component Connectors. 34-55 - 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
MultiMedia Instruction in Safe and Secure Systems. 82-117
Invited Non-technical Papers
- Ryoko Amadee Goguen, Joseph A. Goguen:
Zero, Connected, Empty. 118-126 - Joseph A. Goguen, Ryoko Amadee Goguen:
Zero, Connected, Empty: An Essay after a Cantata. 127-128
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
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 - Lutz Schröder
Monad-Independent Dynamic Logic in Has Casl. 425-441 - Milan Urbásek:
Preserving Properties in System Redesign: Rule-Based Approach. 442-456
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.
last updated on 2024-12-22 19:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: