scientific article

zbMath0983.68131MaRDI QIDQ2767183

Ming Sheng Ying, Martin Wirsing

Publication date: 28 January 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

process algebrabisimulationreal time ACP

Mathematics Subject Classification ID

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

Related Items (10)

Approximating bisimilarity for Markov processes ⋮ Quantitative analysis of software approximate correctness ⋮ Characterization and computation of approximate bisimulations for fuzzy automata ⋮ Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems ⋮ Value-passing CCS with noisy channels ⋮ Approximating Markov processes through filtration ⋮ The infinite evolution mechanism of \(\epsilon\)-bisimilarity ⋮ Probabilistic bisimulations for quantum processes ⋮ Approximate bisimulation relations for fuzzy automata ⋮ \(\pi\)-calculus with noisy channels

This page was built for publication: