Journal: Electronic Notes in Theoretical Computer Science

Volume 154, Issue 3

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

Volume 154, Issue 2

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

Volume 154, Issue 1

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