Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{209371, author = {Stříbrná, Jitka}, address = {Berlin Heidelberg New York}, booktitle = {Mathematical Foundations of Computer Science 1999, Proceedings}, keywords = {basic process algebra; weak bisimulation; approximants; lower and upper bound}, language = {eng}, location = {Berlin Heidelberg New York}, isbn = {3-540-66408-4}, pages = {366-374}, publisher = {Springer-Verlag}, title = {Approximating Weak Bisimulation on Basic Process Algebras}, url = {http://www.fi.muni.cz/usr/stribrna/Documents/mfcsfin.ps}, year = {1999} }
TY - JOUR ID - 209371 AU - Stříbrná, Jitka PY - 1999 TI - Approximating Weak Bisimulation on Basic Process Algebras VL - Lecture Notes in Computer Science 1672 PB - Springer-Verlag CY - Berlin Heidelberg New York SN - 3540664084 KW - basic process algebra KW - weak bisimulation KW - approximants KW - lower and upper bound UR - http://www.fi.muni.cz/usr/stribrna/Documents/mfcsfin.ps ER -
STŘÍBRNÁ, Jitka. Approximating Weak Bisimulation on Basic Process Algebras. In \textit{Mathematical Foundations of Computer Science 1999, Proceedings}. Berlin Heidelberg New York: Springer-Verlag, 1999, s.~366-374. Lecture Notes in Computer Science 1672. ISBN~3-540-66408-4.
|