Další formáty:
BibTeX
LaTeX
RIS
@article{233671, author = {Kučera, Antonín and Richard, Mayr}, article_location = {Germany}, article_number = {TUM-I9902}, keywords = {process algebras; weak bisimilarity; finite-state systems}, language = {eng}, journal = {Technical Report TUM}, title = {Simulation Preorder on Simple Process Algebras}, volume = {1999}, year = {1999} }
TY - JOUR ID - 233671 AU - Kučera, Antonín - Richard, Mayr PY - 1999 TI - Simulation Preorder on Simple Process Algebras JF - Technical Report TUM VL - 1999 IS - TUM-I9902 SP - 1 EP - 1 PB - Technical University Munich KW - process algebras KW - weak bisimilarity KW - finite-state systems ER -
KUČERA, Antonín a Mayr RICHARD. Simulation Preorder on Simple Process Algebras. \textit{Technical Report TUM}. Germany: Technical University Munich, 1999, roč.~1999, TUM-I9902, s.~1-23.
|