Recent Trends in Algebraic Development Techniques

- Invited Talks

- Concurrent Abstract State Machines and ?+? CAL Programs

- Molecules as Automata

- Service-Level Agreements for Service-Oriented Computing

- Contributed Papers

- Tiles for Reo

- C-semiring Frameworks for Minimum Spanning Tree Problems

- What Is a Multi-modeling Language?

- Generalized Theoroidal Institution Comorphisms

- Graph Transformation with Dependencies for the Specification of Interactive Systems

- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi

- A Rewriting Logic Approach to Type Inference

- A Term-Graph Syntax for Algebras over Multisets

- Transformations of Conditional Rewrite Systems Revisited

- Towards a Module System for K

- Property Preserving Refinement for Csp-Casl

- Reconfiguring Distributed Reo Connectors

- A Rewrite Approach for Pattern Containment

- A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum

- Heterogeneous Logical Environments for Distributed Specifications

- Term-Generic Logic

- Declarative Debugging of Rewriting Logic Specifications

- Translating a Dependently-Typed Logic to First-Order Logic