Electronic Notes in Theoretical Computer Science

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

External Links