default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGT-VC@CONCUR 2006: Bonn, Germany
- Arend Rensink, Reiko Heckel, Barbara König:
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006. Electronic Notes in Theoretical Computer Science 175(4), Elsevier 2007 - Arend Rensink, Reiko Heckel, Barbara König:
Preface. 1-2 - Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner:
Matching of Bigraphs. 3-19 - Claudia Faggian, Mauro Piccolo:
A Graph Abstract Machine Describing Event Structure Composition. 21-36 - László Gönczy, Máté Kovács, Dániel Varró
:
Modeling and Verification of Reliable Messaging by Graph Transformation Systems. 37-50 - Filippo Bonchi, Tobias Heindel:
Adhesive DPO Parallelism for Monic Matches. 51-61 - Vitali Kozioura:
Verification of Random Graph Transformation Systems. 63-72 - Piotr Kosiuczenko, Georgios Lajios:
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems. 73-86 - Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig:
Termination Criteria for DPO Transformations with Injective Matches. 87-100 - Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro:
Formal Verification of Object-Oriented Graph Grammars Specifications. 101-114
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-01-18 01:15 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:
