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.
|