Electronic Notes in Theoretical Computer Science, Volume 154

Volume 154, Number 1, 11 May 2006

• Carlos Canal, Mirko Viroli:
  Preface. 1-2
  
• Tom Chothia, Dominic Duggan:
  Capability-Passing Processes. 3-23
  
• Carlos E. Cuesta, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano:
  Coordination as an Architectural Aspect. 25-41
  
• Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli:
  A Framework for Engineering Interactions in Java-based Component Systems. 43-61
  
• Frédéric Peschanski:
  Mobile Agents in Interaction Spaces. 63-82
  
• Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab:
  Formal Semantics and Analysis of Component Connectors in Reo. 83-99
  
• Dave Clarke, David Costa, Farhad Arbab:
  Connector Colouring I: Synchronisation and Context Dependency. 101-119
  
• Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
  Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. 121-138
  
• Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli:
  Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres. 139-158
  
• Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo:
  Formalizing WSBPEL Business Processes Using Process Algebra. 159-173
  

Volume 154, Number 2, 27 May 2006

• Arend Rensink, Reiko Heckel, Barbara König:
  Preface. 1-5
  
• Mikkel Bundgaard, Thomas T. Hildebrandt:
  Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. 7-29
  
• Fabio Gadducci, Alberto Lluch-Lafuente:
  Graphical Verification of a Spatial Logic for the pi-calculus. 31-46
  
• Harmen Kastenberg:
  Towards Attributed Graphs in Groove: Work in Progress. 47-54
  
• Ivan Lanese, Ugo Montanari:
  Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. 55-72
  
• Sebastian Menge, Georgios Lajios:
  A Framework for Stochastic System Modelling and Analysis: Work in Progress. 73-78
  
• Bilel Derbel, Mohamed Mosbah:
  Distributed Graph Traversals by Relabelling Systems with Applications. 79-94
  
• Mike Dodds, Detlef Plump:
  Extending C for Checking Shape Safety. 95-112
  
• Dobieslaw Wróblewski:
  Semi-local Model of Computations on Graphs to Break the Local Symmetry: Work in Progress. 113-120
  

Volume 154, Number 3, 19 July 2006

• Jos C. M. Baeten, Iain C. C. Phillips:
  Preface. 1-2
  
• Sibylle B. Fröschle, Slawomir Lasota:
  Causality Versus True-Concurrency. 3-18
  
• Maribel Fernández, Ian Mackie, François-Régis Sinot:
  Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. 19-32
  
• Roberto M. Amadio, Frédéric Dabrowski:
  Feasible Reactivity for Synchronous Cooperative Threads. 33-43
  
• Johannes Borgström:
  Static Equivalence is Harder than Knowledge. 45-57
  
• Nathalie Bertrand, Ph. Schnoebelen:
  A Short Visit to the STS Hierarchy. 59-69
  
• Raymond R. Devillers, Hanna Klaudel, Maciej Koutny:
  A Petri Net Semantics of a Simple Process Algebra for Mobility. 71-94
  
• Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
  Separation of Synchronous and Asynchronous Communication Via Testing. 95-108
  
• Sébastien Briais, Uwe Nestmann:
  Open Bisimulation, Revisited. 109-123