Proceedings of the workshop on graph transformation for verification and concurrency (GT-VC 2005), San Francisco, CA, USA, August 22, 2005

No author found.

Publication date: 2 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/154/2

Mathematics Subject Classification ID

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

This page was built for publication: Proceedings of the workshop on graph transformation for verification and concurrency (GT-VC 2005), San Francisco, CA, USA, August 22, 2005