Filtry
A Comparison of Algorithms for Normed BPA Processes - An Experimental Performance Evaluation
JC - Počítačový hardware a software
- 2001 •
- B
Rok uplatnění
B - Odborná kniha
Deadlocking States in Context-Free Process Algebra
BD - Teorie informace
- 1998 •
- D
Rok uplatnění
D - Stať ve sborníku
Comparing the Classes BPA and BPA with Deadlocks
BD - Teorie informace
- 1998 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version)
IN - Informatika
- 2014 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Modifications of Expansion Trees for Weak Bisimulation in BPA
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Efficient Verification Algorithms for One-Counter Processes
JC - Počítačový hardware a software
- 2000 •
- D
Rok uplatnění
D - Stať ve sborníku
On the Complexity of Checking Semantic Equivalences between Pushdown Processes and Finite-state Processes
IN - Informatika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
(Max,+)-automata with partial observations
Automation and control systems
- 2018 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete
BD - Teorie informace
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 z 58