JANČAR, Petr, Antonín KUČERA a Richard MAYR. Bisimilarity of Processes with Finite-State Systems. K. Larsen, S. Skyum, G. Winskel (Eds.). In Proceedings of 25th International Colloquium on Automata, Languages and Programming (ICALP'98). Berlin: Springer, 1998, s. 200-211. Lecture Notes in Computer Science, vol. 1443. ISBN 3-540-64781-3. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{198471, author = {Jančar, Petr and Kučera, Antonín and Mayr, Richard}, address = {Berlin}, booktitle = {Proceedings of 25th International Colloquium on Automata, Languages and Programming (ICALP'98)}, keywords = {concurrency; bisimilarity; infinite-state systems}, language = {eng}, location = {Berlin}, isbn = {3-540-64781-3}, pages = {200-211}, publisher = {Springer}, title = {Bisimilarity of Processes with Finite-State Systems}, year = {1998} }
TY - JOUR ID - 198471 AU - Jančar, Petr - Kučera, Antonín - Mayr, Richard PY - 1998 TI - Bisimilarity of Processes with Finite-State Systems VL - Lecture Notes in Computer Science, vol. 1443 PB - Springer CY - Berlin SN - 3540647813 KW - concurrency KW - bisimilarity KW - infinite-state systems ER -
JANČAR, Petr, Antonín KUČERA a Richard MAYR. Bisimilarity of Processes with Finite-State Systems. K. Larsen, S. Skyum, G. Winskel (Eds.). In \textit{Proceedings of 25th International Colloquium on Automata, Languages and Programming (ICALP'98)}. Berlin: Springer, 1998, s.~200-211. Lecture Notes in Computer Science, vol. 1443. ISBN~3-540-64781-3.
|