Two-thirds simulation indexes and modal logic characterization

DOI10.1007/s11704-011-0140-9zbMath1267.68157OpenAlexW2013399198MaRDI QIDQ352098

Min Zhang, Yi-Xiang Chen, Liang Chen, Yan-Fang Ma

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)

Related Items (1)

Quantitative analysis of software approximate correctness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A complete inference system for a class of regular behaviours
• Specification-oriented semantics for communicating processes
• A calculus of communicating systems
• Bisimulation through probabilistic testing
• Bisimulation indexes and their applications
• A Theory of Communicating Sequential Processes
• Algebraic laws for nondeterminism and concurrency
• Bisimulation can't be traced

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