The infinite evolution mechanism of \(\epsilon\)-bisimilarity

DOI10.1007/s11390-013-1400-yzbMath1296.68029OpenAlexW1975701123MaRDI QIDQ458130

Min Zhang, Yan-Fang Ma

Publication date: 7 October 2014

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11390-013-1400-y

zbMATH Keywords

\(\epsilon\)-bisimulationconvergence mechanismcorrectness of softwareprobabilistic process algebra

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

The approximate correctness of systems based on \(\delta\)-bisimulation ⋮ Approximate bisimulation relations for fuzzy automata ⋮ Probabilistic model of software approximate correctness

Cites Work

• Calculi for synchrony and asynchrony
• Bisimulation through probabilistic testing
• Bisimulation indexes and their applications
• Additive models of probabilistic processes
• Reactive, generative, and stratified models of probabilistic processes
• Testing Finitary Probabilistic Processes
• Process Algebra
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item