Equivalences for fair Kripke structures
From MaRDI portal
Publication:4632440
DOI10.1007/3-540-58201-0_82zbMath1418.68125MaRDI QIDQ4632440
Adnan Aziz, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Felice Balarin
Publication date: 29 April 2019
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58201-0_82
Related Items
Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay, Fair simulation, Applicability of fair simulation