KUČERA, Antonín and 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, p. 503-512. Lecture Notes in Computer Science, vol. 1644. ISBN 3-540-66224-3. |
Other formats:
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 and 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, p.~503-512. Lecture Notes in Computer Science, vol. 1644. ISBN~3-540-66224-3.
|