Author Description

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers Author: Martin Wirsing, Dirk Pattinson, Rolf Hennicker Published by Springer Berlin Heidelberg ISBN: 978-3-540-20537-1 DOI: 10.1007/b94458 Table of Contents: AGILE: Software Architecture for Mobility A Coinductive Calculus of Component Connectors An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint MultiMedia Instruction in Safe and Secure Systems Zero, Connected, Empty Zero, Connected, Empty: An Essay after a Cantata Type Checking Parametrised Programs and Specifications in ASL + FPC Pre-nets, Read Arcs and Unfolding: A Functorial Presentation Coreflective Concurrent Semantics for Single-Pushout Graph Grammars Completeness Results for Fibred Parchments Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs Conditional Circular Coinductive Rewriting with Case Analysis Verifying Generative Casl Architectural Specifications Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens The Coinductive Approach to Verifying Cryptographic Protocols Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages Approach-Independent Structuring Concepts for Rule-Based Systems Notions of Behaviour and Reachable-Part and Their Institutions Combining Specification Formalisms in the ‘General Logic’ of Multialgebras On How Distribution and Mobility Interfere with Coordination