Abstract is missing.
- Building a Modal Interface Theory for Concurrency and DataSebastian S. Bauer, Rolf Hennicker, Martin Wirsing. 1-12 [doi]
- My ADT ShrineHans-Dieter Ehrich. 13-24 [doi]
- Evolving SOA in the Q-ImPrESS ProjectJan Kofron, Frantisek Plasil. 25-26 [doi]
- Sharing in the Graph Rewriting CalculusPaolo Baldan, Clara Bertolissi. 27-41 [doi]
- A New Strategy for Distributed Compensations with Interruption in Long-Running TransactionsRoberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo. 42-60 [doi]
- Towards a First-Order Deontic Action LogicPablo F. Castro, T. S. E. Maibaum. 61-75 [doi]
- Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like NotationChristine Choppy, Gianna Reggio. 76-97 [doi]
- Lambda Expressions in Casl Architectural SpecificationsMihai Codescu. 98-117 [doi]
- A Proof Theoretic Interpretation of Model Theoretic HidingMihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe. 118-138 [doi]
- Towards Logical Frameworks in the Heterogeneous Tool Set HetsMihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova. 139-159 [doi]
- An Institution for Graph TransformationAndrea Corradini, Fabio Gadducci, Leila Ribeiro. 160-174 [doi]
- New Results on Timed SpecificationsTimothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski. 175-192 [doi]
- Combining Graph Transformation and Algebraic Specification into Model TransformationHans-Jörg Kreowski, Sabine Kuske, Caroline von Totth. 193-208 [doi]
- Towards Bialgebraic Semantics for the Linear Time - Branching Time SpectrumAna Paula Maldonado, Luís Monteiro, Markus Roggenbach. 209-225 [doi]
- Algebraic Signatures Enriched by Dependency StructureGrzegorz Marczynski. 226-250 [doi]
- Compositional Modelling and Reasoning in an Institution for Processes and DataLiam O'Reilly, Till Mossakowski, Markus Roggenbach. 251-269 [doi]
- Proving Properties about Functions on Lists Involving Element TestsDaniel Seidel, Janis Voigtländer. 270-286 [doi]
- Test-Case Generation for Maude Functional ModulesAdrián Riesco. 287-301 [doi]