The weakest deadlock-preserving congruence

A. Valmari

Research output: Contribution to journal › Article › Scientific › peer-review

26 Citations (Scopus)

Translated title of the contribution	The weakest deadlock-preserving congruence
Original language	English
Pages (from-to)	341-346
Journal	Information Processing Letters
Issue number	53
Publication status	Published - 1995
Publication type	A1 Journal article-refereed

Publication forum classification

@article{8d54aa941e3e40bd8222da8eae66063e,

title = "The weakest deadlock-preserving congruence",

author = "A. Valmari",

note = "Contribution: organisation=ohj,FACT1=1",

year = "1995",

language = "English",

pages = "341--346",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "53",

}