Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{203023,
author = {Stříbrná, Jitka},
address = {Netherlands},
booktitle = {Proceedings of MFCS'98 Workshop on Concurrency},
keywords = {decidability; computational complexity; weak bisimilarity; Basic Process Algebras; Basic Parallel Process Algebras; NP-hardness; PSPACE-hardness;},
language = {eng},
location = {Netherlands},
pages = {175-183},
publisher = {Elsevier},
title = {Hardness results for weak bisimilarity of simple process algebras},
url = {http://www.elsevier.nl/locate/entcs/volume18.html},
year = {1998}
}
TY - JOUR
ID - 203023
AU - Stříbrná, Jitka
PY - 1998
TI - Hardness results for weak bisimilarity of simple process algebras
VL - ENTCS Volume 18
PB - Elsevier
CY - Netherlands
KW - decidability
KW - computational complexity
KW - weak bisimilarity
KW - Basic Process Algebras
KW - Basic Parallel Process Algebras
KW - NP-hardness
KW - PSPACE-hardness;
UR - http://www.elsevier.nl/locate/entcs/volume18.html
L2 - http://www.elsevier.nl/locate/entcs/volume18.html
ER -
STŘÍBRNÁ, Jitka. Hardness results for weak bisimilarity of simple process algebras. In \textit{Proceedings of MFCS'98 Workshop on Concurrency}. Netherlands: Elsevier, 1998, s.~175-183. ENTCS Volume 18.
|
