Abstract is missing.
- Structural Analysis for Stochastic Process Algebra ModelsJie Ding, Jane Hillston. 1-27 [doi]
- Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene AlgebraClaude Bolduc, Béchir Ktari. 28-43 [doi]
- On the Expressiveness of the ::::pi::::-Calculus and the Mobile AmbientsLinda Brodo. 44-59 [doi]
- Integrating Maude into HetsMihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder. 60-75 [doi]
- Model Refinement Using Bisimulation QuotientsRoland Glück, Bernhard Möller, Michel Sintzoff. 76-91 [doi]
- Type FusionRalf Hinze. 92-110 [doi]
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic ProgrammingEkaterina Komendantskaya, Guy McCusker, John Power. 111-127 [doi]
- Learning in a Changing World, an Algebraic Modal Logical ApproachPrakash Panangaden, Mehrnoosh Sadrzadeh. 128-141 [doi]
- Matching Logic: An Alternative to Hoare/Floyd LogicGrigore Rosu, Chucky Ellison, Wolfram Schulte. 142-162 [doi]
- Program Calculation in CoqJulien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi. 163-179 [doi]
- Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic ProgrammingRafael del Vado Vírseda. 180-200 [doi]
- Proving Termination Properties with mu-termBeatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset. 201-208 [doi]
- BAL Tool in Flexible Manufacturing SystemsDiego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla. 209-215 [doi]
- A Complete Declarative Debugger for MaudeAdrián Riesco, Alberto Verdejo, Narciso Martí-Oliet. 216-225 [doi]
- An Assume Guarantee Approach for Checking Quantified Array AssertionsMohamed Nassim Seghir. 226-235 [doi]