ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. Electronic Notes in Theoretical Computer Science. Elsevier, 1997, roč. 1997, č. 5, s. 1-24. |
Další formáty:
BibTeX
LaTeX
RIS
@article{190166, author = {Černá, Ivana and Křetínský, Mojmír and Kučera, Antonín}, article_number = {5}, keywords = {concurrency; bisimilarity; infinite-state systems}, language = {eng}, journal = {Electronic Notes in Theoretical Computer Science}, title = {Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes}, url = {http://www.elsevier.nl/locate/entcs/}, volume = {1997}, year = {1997} }
TY - JOUR ID - 190166 AU - Černá, Ivana - Křetínský, Mojmír - Kučera, Antonín PY - 1997 TI - Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes JF - Electronic Notes in Theoretical Computer Science VL - 1997 IS - 5 SP - 1 EP - 1 PB - Elsevier KW - concurrency KW - bisimilarity KW - infinite-state systems UR - http://www.elsevier.nl/locate/entcs/ ER -
ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ a Antonín KUČERA. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. \textit{Electronic Notes in Theoretical Computer Science}. Elsevier, 1997, roč.~1997, č.~5, s.~1-24.
|