Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006

zbMATH Open1273.68042MaRDI QIDQ375703FDOQ375703

Authors:

Publication date: 31 October 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/175/4

Recommendations

• Proceedings of the workshop on graph transformation for verification and concurrency (GT-VC 2005), San Francisco, CA, USA, August 22, 2005
• Proceedings of the 3rd workshop on graph transformation for concurrency and verification (GT-VC 2007), Lisbon, Portugal, September 3, 2007
• Verification of graph transformation systems with context-free specifications
• Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006
• Unfolding Graph Transformation Systems: Theory and Applications to Verification
• Proceedings of the workshop on Petri nets and graph transformations (PNGT 2004), Rome, Italy, September 28 -- October 2, 2004
• Verifying a behavioural logic for graph transformation systems
• On the complexity of verifying concurrent transition systems
• On the complexity of verifying concurrent transition systems

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (1)

• Special issue: Workshop on Graph transformation Systems (GRATRA 2000). A satellite event of the European joint conferences on theory and practice of software (ETAPS), Berlin, Germany, 2000

This page was built for publication: Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q375703)