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

Reachability Analysis for a Behavior Description Independent of the Number of Processes. / Shibata, Kenji; Hirakawa, Yutaka; Takenaka, Toyofumi.

In: Proceedings of Joint Workshop on Computer Commun, JWCC90, 01.07.1990, p. 85-93.

Research output: Contribution to journalArticle

@article{b6ec8f3c648b4428b482c2c1be65ef86,
title = "Reachability Analysis for a Behavior Description Independent of the Number of Processes",
author = "Kenji Shibata and Yutaka Hirakawa and Toyofumi Takenaka",
year = "1990",
month = "7",
day = "1",
language = "English",
pages = "85--93",
journal = "Proceedings of Joint Workshop on Computer Commun, JWCC90",

}

TY - JOUR

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

AU - Shibata, Kenji

AU - Hirakawa, Yutaka

AU - Takenaka, Toyofumi

PY - 1990/7/1

Y1 - 1990/7/1

M3 - Article

SP - 85

EP - 93

JO - Proceedings of Joint Workshop on Computer Commun, JWCC90

JF - Proceedings of Joint Workshop on Computer Commun, JWCC90

ER -