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, 1996, roč.~1996, RS-96-02, s.~1-28.
|