Two-thirds simulation indexes and modal logic characterization

DOI10.1007/S11704-011-0140-9MaRDI QIDQ352098zbMATH OpenOpenAlexFDO

Authors Min Zhang, Yixiang Chen, Yanfang Ma, Liang Chen

Publication date 4 July 2013

Published in Frontiers of Computer Science in China (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11704-011-0140-9

zbMATH Keywords

simulationmetricprocess calculustwo-thirds simulation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Bisimulation indexes and their applications
• scientific article; zbMATH DE number 1696897
• Modal logic and the approximation induction principle
• Bisimulation through probabilistic testing
• A modular approach to defining and characterising notions of simulation

Cites work

• scientific article; zbMATH DE number 1566482 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A calculus of communicating systems
• A complete inference system for a class of regular behaviours
• Algebraic laws for nondeterminism and concurrency
• Bisimulation can't be traced
• Bisimulation indexes and their applications
• Bisimulation through probabilistic testing
• Specification-oriented semantics for communicating processes
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.

Cited in

(1)

• Quantitative analysis of software approximate correctness

This page was built for publication: Two-thirds simulation indexes and modal logic characterization

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