Další formáty:
BibTeX
LaTeX
RIS
@book{203015,
author = {Stříbrná, Jitka},
address = {Edinburgh},
keywords = {decidability; computational complexity; strong bisimilarity; weak bisimilarity; Basic Process Algebras; Basic Parallel Process Algebras; polynomial ideals; Hilbert's Basis Theorem; Gr\},
language = {eng},
location = {Edinburgh},
publisher = {University of Edinburgh},
title = {Decidability and complexity of equivalences for simple process algebras},
url = {http://www.fi.muni.cz/usr/stribrna/Documents/thesis.ps},
year = {1999}
}
TY - BOOK
ID - 203015
AU - Stříbrná, Jitka
PY - 1999
TI - Decidability and complexity of equivalences for simple process algebras
VL - LFCS Report Series, ECS-LFCS-99-408
PB - University of Edinburgh
CY - Edinburgh
KW - decidability
KW - computational complexity
KW - strong bisimilarity
KW - weak bisimilarity
KW - Basic Process Algebras
KW - Basic Parallel Process Algebras
KW - polynomial ideals
KW - Hilbert's Basis Theorem
KW - Gr\
UR - http://www.fi.muni.cz/usr/stribrna/Documents/thesis.ps
L2 - http://www.fi.muni.cz/usr/stribrna/Documents/thesis.ps
ER -
STŘÍBRNÁ, Jitka. \textit{Decidability and complexity of equivalences for simple process algebras}. Edinburgh: University of Edinburgh, 1999, 125 s. LFCS Report Series, ECS-LFCS-99-408.
|
