The weakest deadlock-preserving congruence
type: Item
instance of: scholarly article
title: The weakest deadlock-preserving congruence
zbMATH Open document ID: 0875.68620
DOI: 10.1016/0020-0190(94)00214-J
author: Antti Valmari
published in: Information Processing Letters
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 985831
zbMATH Keywords: Concurrency
zbMATH Keywords: Formal semantics
zbMATH Keywords: Specification languages
MaRDI profile type: Publication
cites work: Q3994996
cites work: Q3680258
cites work: Q3777424
cites work: Q3992568
cites work: Compositional failure-based semantic models for basic LOTOS
Wikidata QID: Q127554564
description: scientific article; zbMATH DE number 985831