Checking Bisimilarity for Attributed Graph Transformation

DOI10.1007/978-3-642-37075-5_8zbMath1260.68275OpenAlexW2140610070MaRDI QIDQ4910415

Ulrike Golas, Nikos Mylonakis, Fernando Orejas, Artur Boronat

Publication date: 18 March 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37075-5_8

zbMATH Keywords

bisimilarityattributed graph transformationsymbolic graph transformationborrowed contexts

Mathematics Subject Classification ID

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

This page was built for publication: Checking Bisimilarity for Attributed Graph Transformation