ČERNÁ, Ivana, Mojmír KŘETÍNSKÝ and 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, vol. 1997, No 5, p. 1-24. |
Other formats:
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Ý and 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, vol.~1997, No~5, p.~1-24.
|