KUČERA, Antonín a Richard MAYR. Simulation Preorder on Simple Process Algebras. J. Wiedermann, P. van Emde Boas, M. Nielsen (Eds.). In Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99). Berlin: Springer, 1999, s. 503-512. Lecture Notes in Computer Science, vol. 1644. ISBN 3-540-66224-3. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{206913, author = {Kučera, Antonín and Mayr, Richard}, address = {Berlin}, booktitle = {Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99)}, keywords = {concurrency; simulation; infinite-state systems}, language = {eng}, location = {Berlin}, isbn = {3-540-66224-3}, pages = {503-512}, publisher = {Springer}, title = {Simulation Preorder on Simple Process Algebras}, year = {1999} }
TY - JOUR ID - 206913 AU - Kučera, Antonín - Mayr, Richard PY - 1999 TI - Simulation Preorder on Simple Process Algebras VL - Lecture Notes in Computer Science, vol. 1644 PB - Springer CY - Berlin SN - 3540662243 KW - concurrency KW - simulation KW - infinite-state systems ER -
KUČERA, Antonín a Richard MAYR. Simulation Preorder on Simple Process Algebras. J. Wiedermann, P. van Emde Boas, M. Nielsen (Eds.). In \textit{Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99)}. Berlin: Springer, 1999, s.~503-512. Lecture Notes in Computer Science, vol. 1644. ISBN~3-540-66224-3.
|