Decision procedures and graph reductions for bisimulation equivalences part 1

DOI10.1080/00207168908803751zbMath0685.68031OpenAlexW3145956809MaRDI QIDQ4203808

Han Zuidweg

Publication date: 1989

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207168908803751

zbMATH Keywords

systemsconcurrent processesspecificationProcess algebratransitiongraph modelsbisimulation equivalencesgraph reductionProcess graphs

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Decision procedures and graph reductions for bisimulation equivalences part 1