Q4501547
type: Item
instance of: scholarly article
zbMATH Open document ID: 0962.68122
author: Marcin Jurdziński
author: Mogens Nielsen
publication date: 2000-09-04T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1500529
zbMATH Keywords: history preserving bisimilarity
zbMATH Keywords: concurrent systems
zbMATH Keywords: Petri-nets
MaRDI profile type: MaRDI publication profile
Recommended article: Undecidability of domino games and hhp-bisimilarity.
Recommended article: Q4499199
Recommended article: Q4415263
Recommended article: Q4941914
Recommended article: Hereditary History-Preserving Bisimilarity: Logics and Automata
description: scientific article; zbMATH DE number 1500529