Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{198611, author = {Srba, Jiří}, address = {Heidelberg}, booktitle = {Proceedings of the The 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98)}, keywords = {BPA; process; deadlock; bisimulation}, language = {eng}, location = {Heidelberg}, pages = {388-397}, publisher = {Springer-Verlag}, title = {Deadlocking States in Context-Free Process Algebra}, url = {http://www.fi.muni.cz/~srba/publ.html}, year = {1998} }
TY - JOUR ID - 198611 AU - Srba, Jiří PY - 1998 TI - Deadlocking States in Context-Free Process Algebra VL - volume 1450 of LNCS PB - Springer-Verlag CY - Heidelberg KW - BPA KW - process KW - deadlock KW - bisimulation UR - http://www.fi.muni.cz/~srba/publ.html ER -
SRBA, Jiří. Deadlocking States in Context-Free Process Algebra. In \textit{Proceedings of the The 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98)}. Heidelberg: Springer-Verlag, 1998, s.~388-397. volume 1450 of LNCS.
|