KUČERA, Antonín. Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time. K.G. Jeffery, J. Král, M. Bartošek (Eds.). In Proceedings of 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM´96). Berlin: Springer, 1996, p. 377-384. Lecture Notes in Computer Science, vol. 1175. ISBN 3-540-61994-1. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{190125, author = {Kučera, Antonín}, address = {Berlin}, booktitle = {Proceedings of 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM´96)}, keywords = {concurrency; bisimilarity; regularity}, language = {eng}, location = {Berlin}, isbn = {3-540-61994-1}, pages = {377-384}, publisher = {Springer}, title = {Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time.}, year = {1996} }
TY - JOUR ID - 190125 AU - Kučera, Antonín PY - 1996 TI - Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time. VL - Lecture Notes in Computer Science, vol. 1175 PB - Springer CY - Berlin SN - 3540619941 KW - concurrency KW - bisimilarity KW - regularity ER -
KUČERA, Antonín. Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time. K.G. Jeffery, J. Král, M. Bartošek (Eds.). In \textit{Proceedings of 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM´96)}. Berlin: Springer, 1996, p.~377-384. Lecture Notes in Computer Science, vol. 1175. ISBN~3-540-61994-1.
|