Bisimulation indexes and their applications
type: Item
instance of: scholarly article
title: Bisimulation indexes and their applications
zbMATH Open document ID: 1015.68134
DOI: 10.1016/S0304-3975(01)00124-4
published in: Theoretical Computer Science
publication date: 2002-07-31T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1774095
zbMATH Keywords: bisimulation
zbMATH Keywords: asynchronous process calculus
author: Mingsheng Ying
MaRDI profile type: Publication
cites work: Q4843177
cites work: A theory of timed automata
cites work: Q4289659
cites work: Metric interpretations of infinite trees and semantics of non deterministic recursive programs
cites work: Real time process algebra
cites work: Process Algebra
cites work: Algebra of communicating processes with abstraction
cites work: Processes and the denotational semantics of concurrency
cites work: Q4150804
cites work: Q4003356
cites work: A process algebra for timed systems
cites work: Contractions in comparing concurrency semantics
cites work: Time-abstracted bisimulation: Implicit specifications and decidability
cites work: A calculus of communicating systems
cites work: Q3992568
cites work: Q3857704
cites work: TIC: a tImed calculus
cites work: A timed model for communicating sequential processes
cites work: Universal coalgebra: A theory of systems
cites work: Q4222961
cites work: Generalizing finiteness conditions of labelled transition systems
cites work: Q4373413
cites work: Q4212171
cites work: Q4036565
cites work: Q4857386
cites work: A shorter proof to uniqueness of solutions of equations
cites work: Topology in process calculus. I: Limit behaviour of agents
cites work: Additive models of probabilistic processes
Recommended article: Parameterised Bisimulations: Some Applications
Recommended article: An efficient algorithm for computing bisimulation equivalence
Recommended article: An implementation of an efficient algorithm for bisimulation equivalence
Recommended article: Bisimulation and divergence
Recommended article: On the computational complexity of bisimulation, redux
Recommended article: Symbolic bisimulations
Recommended article: Q3507553
Recommended article: Q5465438
Recommended article: Introduction to Bisimulation and Coinduction
description: scientific article; zbMATH DE number 1774095