KUČERA, Antonín and Richard MAYR. Simulation Preorder on Simple Process Algebras. J. Wiedermann, P. van Emde Boas, M. Nielsen (Eds.). In Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99). Berlin: Springer, 1999, p. 503-512. Lecture Notes in Computer Science, vol. 1644. ISBN 3-540-66224-3.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Simulation Preorder on Simple Process Algebras
Authors KUČERA, Antonín and Richard MAYR.
J. Wiedermann, P. van Emde Boas, M. Nielsen (Eds.).
Edition Berlin, Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99), p. 503-512, Lecture Notes in Computer Science, vol. 1644, 1999.
Publisher Springer
Other information
Original language English
Type of outcome Proceedings paper
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:00001101
Organization unit Faculty of Informatics
ISBN 3-540-66224-3
Keywords in English concurrency; simulation; infinite-state systems
Tags concurrency, infinite-state systems, simulation
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 13/1/2000 10:45.
Links
GA201/98/P046, research and development projectName: Rozhodnutelné problémy v algebrách procesů
Investor: Czech Science Foundation, (Un)decidable Problems in Process Algebras
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, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing
PrintDisplayed: 26/4/2024 19:37