Další formáty:
BibTeX
LaTeX
RIS
@article{233292,
author = {Černá, Ivana and Křetínský, Mojmír and Kučera, Antonín},
article_location = {Brno},
article_number = {RS-96-02},
keywords = {process algebras; bisimilarity;},
language = {eng},
journal = {FI MU Report Series},
title = {Comparing Expressibility of Normed BPA and Normed BPP Processes},
volume = {1996},
year = {1996}
}
TY - JOUR
ID - 233292
AU - Černá, Ivana - Křetínský, Mojmír - Kučera, Antonín
PY - 1996
TI - Comparing Expressibility of Normed BPA and Normed BPP Processes
JF - FI MU Report Series
VL - 1996
IS - RS-96-02
SP - 1
EP - 1
PB - FI MU
KW - process algebras
KW - bisimilarity;
ER -
ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Comparing Expressibility of Normed BPA and Normed BPP Processes. \textit{FI MU Report Series}. Brno: FI MU, roč.~1996, RS-96-02, s.~1-28, 1996.
|
