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

zbMATH Open1272.68035MaRDI QIDQ371383FDOQ371383

Authors:

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) 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 (2)

• Proceedings of the workshop on graph transformation and visual modelling techniques (GT-VMT 2004), Barcelona, Spain, March 27--28, 2004
• Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006

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

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