Electronic Notes in Theoretical Computer Science, Volume 175

Volume 175, Number 1, May 2007

• 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

• 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

• 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

• 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