Two-thirds simulation indexes and modal logic characterization

DOI10.1007/S11704-011-0140-9zbMATH Open1267.68157OpenAlexW2013399198MaRDI QIDQ352098FDOQ352098

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

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

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)

Cites Work

• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Algebraic laws for nondeterminism and concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bisimulation can't be traced
• Bisimulation through probabilistic testing
• A calculus of communicating systems
• A Theory of Communicating Sequential Processes
• A complete inference system for a class of regular behaviours
• Specification-oriented semantics for communicating processes
• Bisimulation indexes and their applications
• Title not available (Why is that?)

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)