Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

by Martin Wirsing (editor)

Invited Technical Papers.- 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.- Invited Non-technical Papers.- Zero, Connected, Empty.- Zero, Connected, An Essay after a Cantata.- Contributed Papers.- Type Checking Parametrised Programs and Specifications in ASL?+?FPC.- Pre-nets, Read Arcs and A Functorial Presentation.- Coreflective Concurrent Semantics for Single-Pushout Graph Grammars.- Completeness Results for Fibred Parchments.- Use of Patterns in Formal Systematic Transition from Problems to Architectural Designs.- Conditional Circular Coinductive Rewriting with Case Analysis.- Verifying Generative Casl Architectural Specifications.- Algebraic Higher-Order 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.- Foundations of Heterogeneous Specification.- Algebraic-Coalgebraic Specification in CoCasl.- Translating Logics for Coalgebras.- Presenting and Combining Inference Systems.- Monad-Independent Dynamic Logic in HasCasl.- Preserving Properties in System Rule-Based Approach.

472 pages, Paperback

Published March 12, 2014