Fair simulation (Q6044123)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7686627

Language	Label	Description	Also known as
English	Fair simulation	scientific article; zbMATH DE number 7686627

Statements

scholarly article

0 references

Fair simulation (English)

0 references

zbMATH Open document ID

0 references

10.1007/3-540-63141-0_19

0 references

Thomas A. Henzinger

0 references

0 references

Sriram K. Rajamani

0 references

CONCUR '97: Concurrency Theory

0 references

publication date

17 May 2023

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/3-540-63141-0_19

0 references

0 references

The existence of refinement mappings

0 references

Equivalences for fair Kripke structures

0 references

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

0 references

Automatic verification of finite-state concurrent systems using temporal logic specifications

0 references

An algebraic theory of fair asynchronous communicating processes

0 references

0 references

Specifying Concurrent Program Modules

0 references

0 references

Divergence and fair testing

0 references

0 references

0 references

0 references

The complementation problem for Büchi automata with applications to temporal logic

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6044123

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6044123&oldid=37516459"