Non-interleaving bisimulation equivalences on basic parallel processes
type: Item
instance of: scholarly article
title: Non-interleaving bisimulation equivalences on basic parallel processes
zbMATH Open document ID: 1185.68444
author: Sibylle Fröschle
author: Petr Jančar
author: Zdeněk Sawa
author: Sławomir Lasota
published in: Information and Computation
publication date: 2010-01-12T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5656619
zbMATH Keywords: verification
zbMATH Keywords: equivalence checking
zbMATH Keywords: non-interleaving equivalences
zbMATH Keywords: labelled event structures
zbMATH Keywords: hereditary history preserving bisimilarity
zbMATH Keywords: history preserving bisimilarity
zbMATH Keywords: bisimulation equivalence
zbMATH Keywords: basic parallel processes
MaRDI profile type: Publication
full work available at URL: j.ic.2009.06.001
OpenAlex ID: W2136901681
cites work: Q3992568
cites work: Process rewrite systems.
cites work: Q4665738
cites work: Q3975146
cites work: Q4015488
cites work: Q4015485
cites work: Decidability of performance equivalence for basic parallel processes
cites work: A theory of processes with durational actions
cites work: Bisimulation from open maps
cites work: Q4941914
cites work: Undecidability of domino games and hhp-bisimilarity.
cites work: The decidability border of hereditary history preserving bisimilarity
cites work: Q4736869
cites work: Deciding true concurrency equivalences on safe, finite nets
cites work: CONCUR 2005 – Concurrency Theory
cites work: A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
cites work: Mathematical Foundations of Computer Science 2003
cites work: Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences
cites work: Q4091421
cites work: Q4353915
DOI: 10.1016/J.IC.2009.06.001
Recommended article: Q2754155
Recommended article: Bisimilarity on basic parallel processes
Recommended article: A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
Recommended article: Q4986262
Recommended article: Q2769443
Recommended article: Q4223072
Recommended article: Q4490743
Recommended article: Undecidable equivalences for basic parallel processes
Recommended article: Q5278398
description: scientific article; zbMATH DE number 5656619