scientific article; zbMATH DE number 2090850

zbMATH Open1067.68095MaRDI QIDQ4813402FDOQ4813402

Authors Paolo Baldan, Barbara König, Bernhard König

Publication date 13 August 2004

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Temporal Graph Logic for Verification of Graph Transformation Systems
• Verifying a behavioural logic for graph transformation systems
• Sound and complete abstract graph transformation
• scientific article; zbMATH DE number 2016064
• Verification of random graph transformation systems

Cited in

(15)

• A Modal-Logic Based Graph Abstraction
• Sound and complete abstract graph transformation
• A Temporal Graph Logic for Verification of Graph Transformation Systems
• Unfolding Graph Transformation Systems: Theory and Applications to Verification
• Graph transformation systems: a semantics based on (stochastic) symmetric nets
• Verification of random graph transformation systems
• scientific article; zbMATH DE number 2016064 (Why is no real title available?)
• scientific article; zbMATH DE number 1863175 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Exploiting over- and under-approximations for infinite-state counterpart models
• Verification of graph transformation systems with context-free specifications
• A framework for the verification of infinite-state graph transformation systems
• Verifying a behavioural logic for graph transformation systems
• Introducing symmetry to graph rewriting systems with process abstraction
• Double-pullback transitions and coalgebraic loose semantics for graph transformation systems

This page was built for publication:

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