scientific article; zbMATH DE number 1863175

zbMath1006.68529MaRDI QIDQ4791846

Barbara König, Andrea Corradini, Paolo Baldan

Publication date: 3 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540381.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (18)

Incremental construction of coverability graphs ⋮ Unfolding semantics of graph transformation ⋮ Inductive Invariant Checking with Partial Negative Application Conditions ⋮ Unfolding Graph Transformation Systems: Theory and Applications to Verification ⋮ Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Towards the Verification of Attributed Graph Transformation Systems ⋮ Workshop on Petri Nets and Graph Transformations ⋮ A framework for the verification of infinite-state graph transformation systems ⋮ Reachability analysis of reversal-bounded automata on series-parallel graphs ⋮ GETGRATS ⋮ Application of Graph Transformation in Verification of Dynamic Systems ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Compositional analysis of probabilistic timed graph transformation systems ⋮ Unnamed Item ⋮ A general framework for types in graph rewriting ⋮ Verification of Random Graph Transformation Systems

This page was built for publication: