About these proceedings
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012.
The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
approximated verification bisimilarity concurrency graph theory parallelism
Springer-Verlag Berlin Heidelberg 2012
Springer, Berlin, Heidelberg
Series Print ISSN
Series Online ISSN
Buy this book on publisher's site