Bisimulation indexes and their applications

DOI10.1016/S0304-3975(01)00124-4zbMath1015.68134MaRDI QIDQ1606119

Ming Sheng Ying

Publication date: 31 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

bisimulationasynchronous process calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (16)

Two-thirds simulation indexes and modal logic characterization ⋮ Quantitative analysis of software approximate correctness ⋮ Characterization and computation of approximate bisimulations for fuzzy automata ⋮ Value-passing CCS with noisy channels ⋮ The infinite evolution mechanism of \(\epsilon\)-bisimilarity ⋮ Lattice-valued simulations for quantitative transition systems ⋮ A modal characterization of alternating approximate bisimilarity ⋮ Limited approximate bisimulations and the corresponding rough approximations ⋮ The approximate correctness of systems based on \(\delta\)-bisimulation ⋮ A Behavioural Pseudometric based on λ–Bisimilarity ⋮ Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm ⋮ Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity ⋮ Probabilistic model of software approximate correctness ⋮ Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence ⋮ \(\pi\)-calculus with noisy channels ⋮ Additive models of probabilistic processes

Cites Work

• Contractions in comparing concurrency semantics
• Algebra of communicating processes with abstraction
• A timed model for communicating sequential processes
• Metric interpretations of infinite trees and semantics of non deterministic recursive programs
• A calculus of communicating systems
• TIC: a tImed calculus
• A shorter proof to uniqueness of solutions of equations
• A theory of timed automata
• Time-abstracted bisimulation: Implicit specifications and decidability
• Universal coalgebra: A theory of systems
• Additive models of probabilistic processes
• A process algebra for timed systems
• Topology in process calculus. I: Limit behaviour of agents
• Real time process algebra
• Process Algebra
• Generalizing finiteness conditions of labelled transition systems
• Processes and the denotational semantics of concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bisimulation indexes and their applications