Abstract is missing.
- Concurrent Abstract State Machines and :::+:::CAL ProgramsMichael Altenhofen, Egon Börger. 1-17 [doi]
- Molecules as AutomataLuca Cardelli. 18-20 [doi]
- Service-Level Agreements for Service-Oriented ComputingAllan Clark, Stephen Gilmore, Mirco Tribastone. 21-36 [doi]
- Tiles for ReoFarhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari. 37-55 [doi]
- C-semiring Frameworks for Minimum Spanning Tree ProblemsStefano Bistarelli, Francesco Santini. 56-70 [doi]
- What Is a Multi-modeling Language?Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing. 71-87 [doi]
- Generalized Theoroidal Institution ComorphismsMihai Codescu. 88-101 [doi]
- Graph Transformation with Dependencies for the Specification of Interactive SystemsAndrea Corradini, Luciana Foss, Leila Ribeiro. 102-118 [doi]
- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process CalculiPietro Di Gianantonio, Furio Honsell, Marina Lenisa. 119-134 [doi]
- A Rewriting Logic Approach to Type InferenceChucky Ellison, Traian-Florin Serbanuta, Grigore Rosu. 135-151 [doi]
- A Term-Graph Syntax for Algebras over MultisetsFabio Gadducci. 152-165 [doi]
- Transformations of Conditional Rewrite Systems RevisitedKarl Gmeiner, Bernhard Gramlich. 166-186 [doi]
- Towards a Module System for KMark Hills, Grigore Rosu. 187-205 [doi]
- Property Preserving Refinement for Csp-CaslTemesghen Kahsai, Markus Roggenbach. 206-220 [doi]
- Reconfiguring Distributed Reo ConnectorsChristian Koehler, Farhad Arbab, Erik P. de Vink. 221-235 [doi]
- A Rewrite Approach for Pattern ContainmentBarbara Kordy. 236-250 [doi]
- A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time SpectrumLuÃs Monteiro. 251-265 [doi]
- Heterogeneous Logical Environments for Distributed SpecificationsTill Mossakowski, Andrzej Tarlecki. 266-289 [doi]
- Term-Generic LogicAndrei Popescu, Grigore Rosu. 290-307 [doi]
- Declarative Debugging of Rewriting Logic SpecificationsAdrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso MartÃ-Oliet. 308-325 [doi]
- Translating a Dependently-Typed Logic to First-Order LogicKristina Sojakova, Florian Rabe. 326-341 [doi]