scientific article; zbMATH DE number 2090850

zbMATH Open1067.68095MaRDI QIDQ4813402FDOQ4813402

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

Publication date: 13 August 2004

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

Title of this publication is not available (Why is that?)

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)

Cited In (7)

• Title not available (Why is that?)
• Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
• Tools and Algorithms for the Construction and Analysis of Systems
• A framework for the verification of infinite-state graph transformation systems
• Verifying a behavioural logic for graph transformation systems
• Unfolding Graph Transformation Systems: Theory and Applications to Verification
• Introducing symmetry to graph rewriting systems with process abstraction

   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 👍 👎
• Title not available (Why is that?) 👍 👎
• Verification of random 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)