The decidability border of hereditary history preserving bisimilarity
type: Item
instance of: scholarly article
title: The decidability border of hereditary history preserving bisimilarity
zbMATH Open document ID: 1173.68538
published in: Information Processing Letters
publication date: 2009-08-27T00:00:00Z
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 5599220
zbMATH Keywords: concurrency
zbMATH Keywords: true-concurrency
zbMATH Keywords: bisimulation games
zbMATH Keywords: infinite-space verification
author: Sibylle Fröschle
MaRDI profile type: Publication
full work available at URL: j.ipl.2004.11.010
OpenAlex ID: W2084295474
cites work: Q4490357
cites work: Q4499199
cites work: Q4941914
cites work: Deciding true concurrency equivalences on safe, finite nets
cites work: Q4501547
cites work: Undecidability of domino games and hhp-bisimilarity.
cites work: Mathematical Foundations of Computer Science 2003
cites work: Q4251912
cites work: Q4415263
cites work: On undecidability of propositional temporal logics on trace systems
cites work: Q4791269
cites work: Q4036588
DOI: 10.1016/J.IPL.2004.11.010
description: scientific article; zbMATH DE number 5599220