KUČERA, Antonín and Mayr RICHARD. Simulation Preorder on Simple Process Algebras. Technical Report TUM, Germany: Technical University Munich, 1999, vol. 1999, TUM-I9902, p. 1-23.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Simulation Preorder on Simple Process Algebras
Authors KUČERA, Antonín and Mayr RICHARD.
Edition Technical Report TUM, Germany, Technical University Munich, 1999.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 20206 Computer hardware and architecture
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/99:00001766
Organization unit Faculty of Informatics
Keywords in English process algebras; weak bisimilarity; finite-state systems
Tags finite-state systems, process algebras, weak bisimilarity
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 15:13.
GA201/98/P046, research and development projectName: Rozhodnutelné problémy v algebrách procesů
Investor: Czech Science Foundation, Standard Projects
MSM 143300001, plan (intention)Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministry of Education, Youth and Sports of the CR, Research Intents
PrintDisplayed: 25/10/2020 00:15