Další formáty:
BibTeX
LaTeX
RIS
@article{315851, author = {Kučera, Antonín}, article_location = {Amsterdam, Nizozemí}, article_number = {1-2}, keywords = {concurrency; process algebra; bisimilarity; decomposability}, language = {eng}, issn = {0304-3975}, journal = {Theoretical Computer Science}, title = {Effective Decomposability of Sequential Behaviours.}, volume = {242}, year = {2000} }
TY - JOUR ID - 315851 AU - Kučera, Antonín PY - 2000 TI - Effective Decomposability of Sequential Behaviours. JF - Theoretical Computer Science VL - 242 IS - 1-2 SP - 71 EP - 71 SN - 03043975 KW - concurrency KW - process algebra KW - bisimilarity KW - decomposability ER -
KUČERA, Antonín. Effective Decomposability of Sequential Behaviours. \textit{Theoretical Computer Science}. Amsterdam, Nizozemí, 2000, roč.~242, 1-2, s.~71-89. ISSN~0304-3975.
|