Abstract is missing.
- Marrying Words and TreesRajeev Alur. 1 [doi]
- Simulation Using OrchestrationDavid Kitchin, Evan Powell, Jayadev Misra. 2-15 [doi]
- Liberate Computer User from ProgrammingTeodor Rus. 16-35 [doi]
- An Algebra for Features and Feature CompositionSven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner. 36-50 [doi]
- Petri Nets Are DioidsPaolo Baldan, Fabio Gadducci. 51-66 [doi]
- Towards an Efficient Implementation of Tree Automata CompletionEmilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau. 67-82 [doi]
- Calculating Invariants as Coreflexive BisimulationsLuís Soares Barbosa, José Nuno Oliveira, Alexandra Silva. 83-99 [doi]
- Types and Deadlock Freedom in a Calculus of Services, Sessions and PipelinesRoberto Bruni, Leonardo Gaetano Mezzina. 100-115 [doi]
- A Declarative Debugger for MaudeAdrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero. 116-121 [doi]
- Long-Run Cost Analysis by Approximation of Linear Operators over DioidsDavid Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin. 122-138 [doi]
- Towards Validating a Platoon of Cristal Vehicles Using CSP||BSamuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières. 139-144 [doi]
- Explaining Verification ConditionsEwen Denney, Bernd Fischer. 145-159 [doi]
- Towards Formal Verification of ToolBusScriptsWan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko. 160-166 [doi]
- A Formal Analysis of Complex Type Flaw Attacks on Security ProtocolsHan Gao, Chiara Bodei, Pierpaolo Degano. 167-183 [doi]
- Abstract Interpretation Plugins for Type SystemsTobias Gedell, Daniel Hedin. 184-198 [doi]
- Separation Logic Contracts for a Java-Like Language with Fork/JoinChristian Haack, Clément Hurlin. 199-215 [doi]
- An Algebraic Semantics for Contract-Based Software ComponentsMichel Bidoit, Rolf Hennicker. 216-231 [doi]
- Implementing a Categorical Information SystemMichael Johnson, Robert D. Rosebrugh. 232-237 [doi]
- Constant Complements, Reversibility and Universal View UpdatesMichael Johnson, Robert D. Rosebrugh. 238-252 [doi]
- Coinductive Properties of Causal MapsJiho Kim. 253-267 [doi]
- Extending Timed Process Algebra with Discrete Stochastic TimeJasen Markovski, Erik P. de Vink. 268-283 [doi]
- Vx86: x86 Assembler Simulated in C Powered by Automated Theorem ProvingStefan Maus, Michal Moskal, Wolfram Schulte. 284-298 [doi]
- Evolving Specification EngineeringDusko Pavlovic, Peter Pepper, Douglas R. Smith. 299-314 [doi]
- Verification of Java Programs with GenericsKurt Stenzel, Holger Grandy, Wolfgang Reif. 315-329 [doi]
- Domain Axioms for a Family of Near-SemiringsJules Desharnais, Georg Struth. 330-345 [doi]
- Generating Specialized Rules and Programs for Demand-Driven AnalysisK. Tuncay Tekle, Katia Hristova, Yanhong A. Liu. 346-361 [doi]
- Non Expansive epsilon-BisimulationsSimone Tini. 362-376 [doi]
- A Hybrid Approach for Safe Memory Management in CSyrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi. 377-391 [doi]
- Service Specification and Matchmaking Using Description LogicM. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder. 392-406 [doi]
- System Demonstration of Spiral: Generator for High-Performance Linear Transform LibrariesYevgen Voronenko, Franz Franchetti, Frédéric de Mesmay, Markus Püschel. 407-412 [doi]
- The Verification of the On-Chip COMA Cache Coherence ProtocolThuy Duong Vu, Li Zhang, Chris R. Jesshope. 413-429 [doi]