D 2000

On Simulation-Checking with Sequential Systems

KUČERA, Antonín

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

Language

English

Type of outcome

Stať ve sborníku

Field of Study

20206 Computer hardware and architecture

Country of publisher

Germany

Confidentiality degree

není předmětem státního či obchodního tajemství

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

Změněno: 12/3/2001 15:43, prof. RNDr. Antonín Kučera, Ph.D.

Abstract

V originále

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 project
Name: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Investor: Czech Science Foundation, Algorithms and tools for practical verification of concurrent systems.
GA201/98/P046, research and development project
Name: 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