Maximality preserving bisimulation
type: Item
instance of: scholarly article
title: Maximality preserving bisimulation
zbMATH Open document ID: 0780.68036
DOI: 10.1016/0304-3975(92)90298-T
author: Raymond Devillers
published in: Theoretical Computer Science
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 64940
zbMATH Keywords: bisimulation
zbMATH Keywords: specification of concurrent systems
zbMATH Keywords: labelled \(P/T\) nets
MaRDI profile type: Publication
cites work: Concurrent bisimulations in Petri nets
cites work: \(\tau\)-bisimulations and full abstraction for refinement of actions
cites work: Q3975146
cites work: A calculus of communicating systems
cites work: Q3907077
cites work: Q3751025
cites work: Q3782795
cites work: Subset languages of Petri nets. I: The relationship to string languages and normal forms
cites work: Q3805922
cites work: Q3355248
cites work: Bisimulation and action refinement
description: scientific article; zbMATH DE number 64940