Reachability Analysis for a Behavior Description Independent of the Number of Processes

Kenji Shibata, Yutaka Hirakawa, Toyofumi Takenaka

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)85-93
JournalProceedings of Joint Workshop on Computer Commun, JWCC90
Publication statusPublished - 1990 Jul 1

Cite this