default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGT-VC@CONCUR 2005: San Francisco, CA, USA
- Arend Rensink, Reiko Heckel, Barbara König:
Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, GT-VC 2005, Satellite Event of CONCUR 2005, San Francisco, CA, USA, August 22, 2005. Electronic Notes in Theoretical Computer Science 154(2), Elsevier 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-26 23:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
