Fair simulation

DOI10.1007/3-540-63141-0_19MaRDI QIDQ6044123zbMATH OpenOpenAlexFDO

Authors Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani

Publication date 17 May 2023

Published in CONCUR '97: Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63141-0_19

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of game theory (91A80)

Recommendations

• Fair simulation
• scientific article; zbMATH DE number 1538045
• scientific article; zbMATH DE number 2080199
• scientific article; zbMATH DE number 2080063
• Applicability of fair simulation

Cites work

• An algebraic theory of fair asynchronous communicating processes
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Divergence and fair testing
• Equivalences for fair Kripke structures
• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 3919813 (Why is no real title available?)
• scientific article; zbMATH DE number 3560737 (Why is no real title available?)
• scientific article; zbMATH DE number 1306878 (Why is no real title available?)
• scientific article; zbMATH DE number 3339435 (Why is no real title available?)
• Specifying Concurrent Program Modules
• The complementation problem for Büchi automata with applications to temporal logic
• The existence of refinement mappings
• Transformational design and implementation of a new efficient solution to the ready simulation problem

Cited in

(16)

• Fair simulation
• Applicability of fair simulation
• Bridging the gap between fair simulation and trace inclusion
• Splitting forward simulations to cope with liveness
• Fair play for machines
• scientific article; zbMATH DE number 1332671 (Why is no real title available?)
• scientific article; zbMATH DE number 2080063 (Why is no real title available?)
• scientific article; zbMATH DE number 1538045 (Why is no real title available?)
• scientific article; zbMATH DE number 2086521 (Why is no real title available?)
• scientific article; zbMATH DE number 1903384 (Why is no real title available?)
• Bridging the gap between fair simulation and trace inclusion.
• Simulation by Rounds of Letter-to-Letter Transducers
• History-deterministic timed automata
• Compositional reasoning in model checking
• The non-cooperative rational synthesis problem for SPEs and -regular objectives
• Simulation distances

This page was built for publication: Fair simulation

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