Filters
INFINITY 2002. 4th International Workshop on Verification of Infinite-State Systems
INFINITY 2002, the 4th International Workshop on Verification of Infinite-State for modelingand analysis of infinite-state systems, equivalence-checking and model-checking with infinite-state syst...
BD - Teorie informace
- 2002 •
- W
Rok uplatnění
W - Uspořádání workshopu
Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems
Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (Infinity 2002).
JC - Počítačový hardware a software
- 2002 •
- B
Rok uplatnění
B - Odborná kniha
Infinitive constructions in German and in Czech. On the state of study.
Infinitive constructions in German and in Czech...
AI - Jazykověda
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
On Finite Representations of Infinite-State Behaviours.
N/A...
JC - Počítačový hardware a software
- 1999 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Equivalence-Checking on Infinite-State Systems: Techniques and Results
The paper presents a selection of recently developed and/or used techniques for equivalence-checking on infinite-state systems, and an up-to-date overview of existing results (as of September 2004)....
IN - Informatika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time
N/A...
JC - Počítačový hardware a software
- 1999 •
- D
Rok uplatnění
D - Stať ve sborníku
Equivalence-Checking with Infinite-State Systems: Techniques and Results.
The paper presents an overview of techniques and results for equivalence-checking with infinite-state systems. The selection of presented techniques reflects the authors' view on recent development in the area; the overview of exist...
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
families of infinite-state systems.We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model checki...
IN - Informatika
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Weak Bisimilarity between Finite-State Systems and BPA or normed BPP is Decidable in Polynomial Time
We prove that weak bisimilarity is decidable in polynomial time between finite-state systems and several classes of infinite-state systems: context-free processes (BPA) and normed Basic Parallel Processes (normed BPP). To t...
JC - Počítačový hardware a software
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
families of infinite-state systems.We introduce a generic family of behavioral relations for which the regular equivalence problem (i.e., comparing an arbitrary transition system to some finite-state specification) can be ...
IN - Informatika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 95 736