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