Abstract is missing.
- Behavior-Preserving Refinement Relations between Dynamic Software ArchitecturesReiko Heckel, Sebastian Thöne. 1-27 [doi]
- Modelling Mobility with Petri HypernetsMarek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello. 28-44 [doi]
- Cryptomorphisms at WorkCarlos Caleiro, Jaime Ramos. 45-60 [doi]
- Towards a Formal Specification of an Electronic Payment System in CSP-CASLAndy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff. 61-78 [doi]
- Algebraic Semantics of Design Abstractions for Context-AwarenessAntónia Lopes, José Luiz Fiadeiro. 79-93 [doi]
- CCC - The Casl Consistency CheckerChristoph Lüth, Markus Roggenbach, Lutz Schröder. 94-105 [doi]
- Ontologies for the Semantic Web in CaslKlaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner. 106-125 [doi]
- Theoroidal Maps as Algebraic SimulationsNarciso Martí-Oliet, José Meseguer, Miguel Palomino. 126-143 [doi]
- Behavioural Semantics of Algebraic Specifications in Arbitrary Logical SystemsMichal Misiak. 144-161 [doi]
- A Simple Refinement Language for CaslTill Mossakowski, Donald Sannella, Andrzej Tarlecki. 162-185 [doi]
- A Distributed and Mobile Component System Based on the Ambient CalculusNikos Mylonakis, Fernando Orejas. 186-200 [doi]
- Application and Formal Specification of Sorted Term-Position AlgebrasArnd Poetzsch-Heffter, Nicole Rauch. 201-217 [doi]
- From Conditional to Unconditional RewritingGrigore Rosu. 218-233 [doi]
- Type Class Polymorphism in an Institutional FrameworkLutz Schröder, Till Mossakowski, Christoph Lüth. 234-251 [doi]
- Architectural Specifications for Reactive SystemsArtur Zawlocki. 252-269 [doi]