Parameterised Bisimulations: Some Applications

DOI10.1007/978-3-319-06251-8_13zbMath1407.68325OpenAlexW58568020MaRDI QIDQ5410486

Divyanshu Bagga, S. Arun-Kumar

Publication date: 16 April 2014

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_13

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: Parameterised Bisimulations: Some Applications