Transformational design and implementation of a new efficient solution to the ready simulation problem
From MaRDI portal
Publication:1899135
DOI10.1016/0167-6423(95)00003-BzbMath0832.68050OpenAlexW2072651477MaRDI QIDQ1899135
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
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
