Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{190164, author = {Kučera, Antonín}, address = {Berlin}, booktitle = {Proceedings of 8th International Conference on Concurrency Theory (CONCUR´97)}, keywords = {concurrency; bisimilarity; infinite-state systems; decomposability}, language = {eng}, location = {Berlin}, isbn = {3-540-63141-0}, pages = {302-316}, publisher = {Springer}, title = {How to Parallelize Sequential Processes}, year = {1997} }
TY - JOUR ID - 190164 AU - Kučera, Antonín PY - 1997 TI - How to Parallelize Sequential Processes VL - Lecture Notes in Computer Science, vol. 1243 PB - Springer CY - Berlin SN - 3540631410 KW - concurrency KW - bisimilarity KW - infinite-state systems KW - decomposability ER -
KUČERA, Antonín. How to Parallelize Sequential Processes. A. Mazurkiewicz, J. Winkowski (Eds.). In \textit{Proceedings of 8th International Conference on Concurrency Theory (CONCUR´97)}. Berlin: Springer, 1997, s.~302-316. Lecture Notes in Computer Science, vol. 1243. ISBN~3-540-63141-0.
|