Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F96%3A00000081" target="_blank" >RIV/00216224:14330/96:00000081 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
Popis výsledku v původním jazyce
N/A
Název v anglickém jazyce
Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes
Popis výsledku anglicky
N/A
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA201%2F93%2F2123" target="_blank" >GA201/93/2123: Analýza konkurentních nekonečně stavových systémů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
1996
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96)
ISBN
—
ISSN
—
e-ISSN
—
Počet stran výsledku
15
Strana od-do
—
Název nakladatele
University of Passau
Místo vydání
Passau
Místo konání akce
—
Datum konání akce
—
Typ akce podle státní příslušnosti
—
Kód UT WoS článku
—