Transformational design and implementation of a new efficient solution to the ready simulation problem

DOI10.1016/0167-6423(95)00003-BzbMath0832.68050OpenAlexW2072651477MaRDI QIDQ1899135

Yanyan Li

Publication date: 4 October 1995

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(95)00003-b

zbMATH Keywords

ready simulation problem

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Related Items

A space-efficient simulation algorithm on probabilistic automata, Simulation relations and applications in formal methods, Correcting a Space-Efficient Simulation Algorithm, Rewriting XPath queries using materialized XPath views, Generalizing the Paige-Tarjan algorithm by abstract interpretation, An efficient simulation algorithm on Kripke structures, Fair simulation, Bridging the gap between fair simulation and trace inclusion, Five Determinisation Algorithms, An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation, Capacitated automata and systems, Controller synthesis for bisimulation equivalence, An efficient simulation algorithm based on abstract interpretation, Fair simulation, An NSF proposal