| SRBA, Jiří. Comparing the Classes BPA and BPA with Deadlocks. Technical report, Faculty of Informatics, Masaryk University, Brno. 1998, roč. 1998, č. 05, s. 1-36. ISSN FIMU-RS-98-05. |
Další formáty:
BibTeX
LaTeX
RIS
@article{227495,
author = {Srba, Jiří},
article_number = {05},
keywords = {process algebra; deadlock; bisimulation},
language = {eng},
issn = {FIMU-RS-98-05},
journal = {Technical report, Faculty of Informatics, Masaryk University, Brno},
title = {Comparing the Classes BPA and BPA with Deadlocks},
url = {http://www.fi.muni.cz/informatics/reports/abstract/FIMU-RS-98-05.html},
volume = {1998},
year = {1998}
}
TY - JOUR
ID - 227495
AU - Srba, Jiří
PY - 1998
TI - Comparing the Classes BPA and BPA with Deadlocks
JF - Technical report, Faculty of Informatics, Masaryk University, Brno
VL - 1998
IS - 05
SP - 1
EP - 1
SN - FIMURS9805
KW - process algebra
KW - deadlock
KW - bisimulation
UR - http://www.fi.muni.cz/informatics/reports/abstract/FIMU-RS-98-05.html
ER -
SRBA, Jiří. Comparing the Classes BPA and BPA with Deadlocks. \textit{Technical report, Faculty of Informatics, Masaryk University, Brno}. 1998, roč.~1998, č.~05, s.~1-36. ISSN~FIMU-RS-98-05.
|
