From bisimulation to simulation: Coarsest partition problems
From MaRDI portal
Publication:1431342
DOI10.1023/A:1027328830731zbMath1081.68052MaRDI QIDQ1431342
Raffaella Gentilini, Carla Piazza, Alberto Policriti
Publication date: 27 May 2004
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1027328830731
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Characterization and computation of approximate bisimulations for fuzzy automata, Simulation relations and applications in formal methods, Bisimulations for fuzzy automata, On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations, Computation of the greatest simulations and bisimulations between fuzzy automata, Reduction of fuzzy automata by means of fuzzy quasi-orders, Nondeterministic automata: equivalence, bisimulations, and uniform relations, Generalizing the Paige-Tarjan algorithm by abstract interpretation, Fuzzy relation equations and reduction of fuzzy automata, An efficient simulation algorithm based on abstract interpretation, Fuzzy approximations of fuzzy relational structures, An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation, Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences, Minimal consistent DFA from sample strings, Employing behavioral preorders to define controllability for nondeterministic discrete-event systems, An efficient simulation algorithm on Kripke structures, A space-efficient simulation algorithm on probabilistic automata, An Algorithm for Probabilistic Alternating Simulation, Correcting a Space-Efficient Simulation Algorithm, AUTOMATIC SERVICE COMPOSITION VIA SIMULATION, A Space-Efficient Probabilistic Simulation Algorithm, Five Determinisation Algorithms