The approximate correctness of systems based on \(\delta\)-bisimulation
type: Item
instance of: scholarly article
title: The approximate correctness of systems based on \(\delta\)-bisimulation
zbMATH Open document ID: 1392.68309
author: Haiyu Pan
author: Yanfang Ma
publication date: 2018-04-23T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 06B23
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6862982
zbMATH Keywords: limit
zbMATH Keywords: correctness
zbMATH Keywords: bisimulation
zbMATH Keywords: complete lattice
zbMATH Keywords: fuzzy system
Wikidata QID: Q113317586
MaRDI profile type: Publication
full work available at URL: j.entcs.2017.08.007
OpenAlex ID: W2760372412
cites work: CONCUR 2003 - Concurrency Theory
cites work: On metrics for probabilistic systems: definitions and algorithms
cites work: Q2701735
cites work: Bisimulation indexes and their applications
cites work: The quantitative linear-time-branching-time spectrum
cites work: Formal Modeling and Analysis of Timed Systems
cites work: Topological Construction of Parameterized Bisimulation Limit
cites work: The infinite evolution mechanism of \(\epsilon\)-bisimilarity
cites work: Simulation for lattice-valued doubly labeled transition systems
cites work: Quantitative Analysis of Lattice-valued Kripke Structures
cites work: Lattice-valued simulations for quantitative transition systems
cites work: Q3992568
cites work: Q5312888
cites work: Q4150804
cites work: Q4064160
DOI: 10.1016/J.ENTCS.2017.08.007
description: scientific article; zbMATH DE number 6862982