Simulations for quantitative alternating transition systems

MaRDI QIDQ4623956zbMATH OpenFDO

Authors Guowu Wang, Li Li, Haiyu Pan

Publication date 22 February 2019

zbMATH Keywords

alternating transition systemsfixed-point characterizationquantitative verificationsimulations

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Lattice-valued simulations for quantitative transition systems
• Verification of infinite-state dynamic systems using approximate quotient transition systems
• Generic forward and backward simulations. III: Quantitative simulations by matrices
• Quantitative simulations by matrices
• Automata, Languages and Programming

Cited in

(3)

• Simulation for lattice-valued doubly labeled transition systems
• Verification of infinite-state dynamic systems using approximate quotient transition systems
• Lattice-valued simulations for quantitative transition systems

This page was built for publication: Simulations for quantitative alternating transition systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4623956)