JANČAR, Petr, Antonín KUČERA and Mayr RICHARD. Deciding Bisimulation-Like Equivalences with Finite-State Processes. Technical Report TUM, Germany: Technical University Munich, 1998, vol. 1998, TUM-I9805, p. 1-24.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Deciding Bisimulation-Like Equivalences with Finite-State Processes
Authors JANČAR, Petr, Antonín KUČERA and Mayr RICHARD.
Edition Technical Report TUM, Germany, Technical University Munich, 1998.
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/98:00001759
Organization unit Faculty of Informatics
UT WoS 000082774400018
Keywords in English process algebras; bisimilarity; finite-state systems
Tags bisimilarity, finite-state systems, process algebras
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 14:03.
Links
GA201/97/0456, research and development projectName: Meze algoritmické verifikovatelnosti nekonečně stavových systémů
Investor: Czech Science Foundation, Standard Projects
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 18:38