Impossible futures and determinism

Autor: Marc Voorhoeve, Sjouke Mauw
Přispěvatelé: Mathematics and Computer Science
Jazyk: angličtina
Rok vydání: 2001
Předmět:
Zdroj: Information Processing Letters, 80(1), 51-58. Elsevier
ISSN: 0020-0190
Popis: We present a class ⪯ n of process preorders related to contrasimulation equivalence and characterize the predicates they preserve. For the preorder ⪯ 2 (impossible futures) an axiomatization is given.
Databáze: OpenAIRE
Externí odkaz: