Abstract is missing.
- Advances in Verification of Multi-agent SystemsAlessio Lomuscio. 3-4 [doi]
- The Distributed Ontology, Model and Specification Language - DOLTill Mossakowski. 5-10 [doi]
- Theorising Monitoring: Algebraic Models of Web Monitoring in OrganisationsKenneth Johnson, John V. Tucker, Victoria Wang. 13-35 [doi]
- Asymmetric Combination of Logics is Functorial: A SurveyRenato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins. 39-55 [doi]
- Algebraic Model Management: A SurveyPatrick Schultz, David I. Spivak, Ryan Wisnesky. 56-69 [doi]
- Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)Jan A. Bergstra, Alban Ponse. 73-87 [doi]
- A Calculus of Virtually Timed AmbientsEinar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf. 88-103 [doi]
- An Institution for Event-BMarie Farrell, Rosemary Monahan, James F. Power. 104-119 [doi]
- On the Most Suitable Axiomatization of Signed IntegersHubert Garavel. 120-134 [doi]
- Observational Semantics for Dynamic Logic with BindersRolf Hennicker, Alexandre Madeira. 135-152 [doi]
- Towards Critical Pair Analysis for the Graph Programming Language GP 2Ivaylo Hristakiev, Detlef Plump. 153-169 [doi]
- Canonical Selection of ColimitsTill Mossakowski, Florian Rabe, Mihai Codescu. 170-188 [doi]
- Formalizing and Validating the P-Store Replicated Data Store in MaudePeter Csaba Ölveczky. 189-207 [doi]
- Generic Hoare Logic for Order-Enriched Effects with ExceptionsChristoph Rauch, Sergey Goncharov 0001, Lutz Schröder. 208-222 [doi]