Volume 154, Number 1, 11 May 2006

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005)

• 
  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

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

• 
  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

Proceedings of the 12th Workshop on Expressiveness on Concurrency (EXPRESS 2005)

• 
  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