Volume 175, Number 1, May 2007

Proceedings of the Third Workshop on Structural Operational Semantics (SOS 2006)

• 
  Rob J. van Glabbeek, Peter D. Mosses: Preface. 1-2
• 
  Christiano Braga, Alberto Verdejo: Modular Structural Operational Semantics with Strategies. 3-17
• 
  Vincent Danos, Jean Krivine, Fabien Tarissan: Self-assembling Trees. 19-32
• 
  Bartek Klin: Bialgebraic Methods in Structural Operational Semantics: Invited Talk. 33-43
• 
  Mohammad Reza Mousavi, Michel A. Reniers: On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference. 45-56
• 
  Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson: Active Evaluation Contexts for Reaction Semantics. 57-70
• 
  Adrian Pop, Peter Fritzson: An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications. 71-75
• 
  Simone Tini: Notes on Generative Probabilistic Bisimulation. 77-88

Volume 175, Number 2, June 2007

Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)

• 
  Carlos Canal, Mirko Viroli: Preface. 1-2
• 
  Gabriel Ciobanu, Cristian Prisacariu: Coordination by Timers for Channel-Based Anonymous Communications. 3-17
• 
  Sascha Klüppelholz, Christel Baier: Symbolic Model Checking for Channel-based Component Connectors. 19-37
• 
  Marco Antonio Barbosa, Luís Soares Barbosa: Configurations of Web Services. 39-57
• 
  Matteo Casadei, Luca Gardelli, Mirko Viroli: Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case. 59-80
• 
  Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel: Dynamic Contextual Adaptation. 81-95
• 
  Andrea Omicini: Formal ReSpecT in the A&A Perspective. 97-117
• 
  Michael Köhler, Heiko Rölke: Dynamic Transition Refinement. 119-134
• 
  Juliana Küster Filipe, Sotiris Moschoyiannis: Concurrent Logic and Automata Combined: A Semantics for Components. 135-151
• 
  Tom Chothia, Jetty Kleijn: Q-Automata: Modelling the Resource Usage of Concurrent Components. 153-167

Volume 175, Number 3, June 2007

Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006)

• 
  Roberto M. Amadio, Iain Phillips: Preface. 1-2
• 
  Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Fair Pi. 3-26
• 
  Xu Wang, Marta Z. Kwiatkowska: Compositional State Space Reduction Using Untangled Actions. 27-46
• 
  Ahmed Bouajjani, Jan Strejcek, Tayssir Touili: On Symbolic Verification of Weakly Extended PAD. 47-64
• 
  Robin Milner: Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract). 65-73
• 
  Vincent Danos, Jean Krivine, Pawel Sobocinski: General Reversibility. 75-86
• 
  Daniele Gorla: Synchrony vs Asynchrony in Communication Primitives. 87-108
• 
  Lucy Saunders-Evans, Glynn Winskel: Event Structure Spans for Nondeterministic Dataflow. 109-129
• 
  Luís Caires, Hugo Torres Vieira: Extensionality of Spatial Observations in Distributed Systems. 131-149

Volume 175, Number 4, July 2007

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006)

• 
  Arend Rensink, Reiko Heckel, Barbara König: Preface. 1-2
• 
  Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner: Matching of Bigraphs. 3-19
• 
  Claudia Faggian, Mauro Piccolo: A Graph Abstract Machine Describing Event Structure Composition. 21-36
• 
  László Gönczy, Máté Kovács, Dániel Varró: Modeling and Verification of Reliable Messaging by Graph Transformation Systems. 37-50
• 
  Filippo Bonchi, Tobias Heindel: Adhesive DPO Parallelism for Monic Matches. 51-61
• 
  Vitali Kozioura: Verification of Random Graph Transformation Systems. 63-72
• 
  Piotr Kosiuczenko, Georgios Lajios: Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems. 73-86
• 
  Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig: Termination Criteria for DPO Transformations with Injective Matches. 87-100
• 
  Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro: Formal Verification of Object-Oriented Graph Grammars Specifications. 101-114