Simple proof techniques for property preservation via simulation

DOI10.1016/S0020-0190(96)00149-4zbMath0875.68971OpenAlexW2087302085MaRDI QIDQ1350106

Ching-Tsun Chou

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(96)00149-4

zbMATH Keywords

ConcurrencyProgramming calculiInfinitary logics

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• Property preserving abstractions for the verification of concurrent systems
• Algebraic laws for nondeterminism and concurrency
• Galois Connexions
• Closure Operators and Galois Theory in Lattices

This page was built for publication: Simple proof techniques for property preservation via simulation