The infinite evolution mechanism of \(\epsilon\)-bisimilarity
type: Item
instance of: scholarly article
title: The infinite evolution mechanism of \(\epsilon\)-bisimilarity
zbMATH Open document ID: 1296.68029
author: Yanfang Ma
author: Min Zhang
published in: Journal of Computer Science and Technology
publication date: 2014-10-07T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6351822
zbMATH Keywords: correctness of software
zbMATH Keywords: probabilistic process algebra
zbMATH Keywords: \(\epsilon\)-bisimulation
zbMATH Keywords: convergence mechanism
MaRDI profile type: Publication
full work available at URL: s11390-013-1400-y
OpenAlex ID: W1975701123
cites work: Process Algebra
cites work: Communicating sequential processes
cites work: Q3777424
cites work: Q2767183
cites work: Bisimulation indexes and their applications
cites work: Q2701735
cites work: Q4847023
cites work: Testing Finitary Probabilistic Processes
cites work: Reactive, generative, and stratified models of probabilistic processes
cites work: Bisimulation through probabilistic testing
cites work: Calculi for synchrony and asynchrony
cites work: Additive models of probabilistic processes
DOI: 10.1007/S11390-013-1400-Y
description: scientific article; zbMATH DE number 6351822