Simple proof techniques for property preservation via simulation

DOI10.1016/S0020-0190(96)00149-4MaRDI QIDQ1350106zbMATH OpenOpenAlexFDO

Authors 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

Recommendations

• Property preserving abstractions under parallel composition
• Property preserving abstractions for the verification of concurrent systems
• Simulations and bisimulations for coalgebraic modal logics
• scientific article; zbMATH DE number 2086521
• Algebraic simulations

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Algebraic laws for nondeterminism and concurrency
• Closure Operators and Galois Theory in Lattices
• Galois Connexions
• Property preserving abstractions for the verification of concurrent systems
• Results on the propositional \(\mu\)-calculus

Cited in

(5)

• scientific article; zbMATH DE number 6720710 (Why is no real title available?)
• Property preserving abstractions for the verification of concurrent systems
• scientific article; zbMATH DE number 2086521 (Why is no real title available?)
• Property preserving abstractions under parallel composition
• scientific article; zbMATH DE number 3870583 (Why is no real title available?)

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

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