Tampere University of Technology

TUTCRIS Research Portal

The weakest deadlock-preserving congruence

Research output: Contribution to journalArticleScientificpeer-review

Details

Original languageEnglish
Pages (from-to)341-346
JournalInformation Processing Letters
Issue number53
Publication statusPublished - 1995
Publication typeA1 Journal article-refereed

Publication forum classification