Bisimulation and Coverings for Graphs and Hypergraphs

DOI10.1007/978-3-642-36039-8_2zbMath1303.03072OpenAlexW2225634055MaRDI QIDQ2936225

Martin Otto

Publication date: 6 January 2015

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36039-8_2

Mathematics Subject Classification ID

Hypergraphs (05C65) Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of model theory (03C98)

This page was built for publication: Bisimulation and Coverings for Graphs and Hypergraphs