| 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.
|
