![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
GT-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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.