Weak Bisimulation Approximants

DOI10.1007/11874683_24zbMath1225.68117OpenAlexW1556402419WikidataQ59556951 ScholiaQ59556951MaRDI QIDQ3613350

Anton Setzer, Will Harwood, Faron Moller

Publication date: 12 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa1733/Download/0001733-18052015005610.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Linearizing well quasi-orders and bounding the length of bad sequences

This page was built for publication: Weak Bisimulation Approximants