KUČERA, Antonín. On Simulation-Checking with Sequential Systems. Jifeng He, Masahiko Sato (Eds.). In Proceedings of 6th Asian Computing Science Conference (ASIAN 2000). Berlin, Heidelberg, New York: Springer, 2000. p. 133-148. Lecture Notes in Computer Science, vol. 1961. ISBN 3-540-41428-2.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name On Simulation-Checking with Sequential Systems
Authors KUČERA, Antonín.
Jifeng He, Masahiko Sato (Eds.).
Edition Berlin, Heidelberg, New York, Proceedings of 6th Asian Computing Science Conference (ASIAN 2000), p. 133-148, Lecture Notes in Computer Science, vol. 1961, 2000.
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/00:00002734
Organization unit Faculty of Informatics
ISBN 3-540-41428-2
UT WoS 000171236800011
Keywords in English concurrency; simulation; temporal logics; one-counter automata
Tags concurrency, one-counter automata, simulation, temporal logics
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 12/3/2001 15:43.
Abstract
We present new complexity results for simulation-checking and model-checking with infinite-state systems generated by pushdown automata and their proper subclasses of one-counter automata and one-counter nets (one-counter nets are "weak" one-counter automata computationally equivalent to Petri nets with at most one unbounded place).
Links
GA201/00/1023, research and development projectName: Algoritmy a nástroje pro praktickou verifikaci souběžný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: 23/10/2020 02:56