History Preserving Bisimilarity on Basic Parallel Processes
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F06%3A00013663" target="_blank" >RIV/61989100:27240/06:00013663 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
History Preserving Bisimilarity on Basic Parallel Processes
Original language description
A new polynomial time algorithm for deciding history preserving bisimilarity on Basic Parallel Processes (BPP) is presented. Also a new new more transparent definition of history preserving bisimilarity on BPP is provided.
Czech name
History preserving bisimilarita na Základních paralelních procesech
Czech description
Je prezentován nový algoritmus pro rozhodování history preserving bisimilarity na základních paralelních procesech (BPP) pracující v polynomiálním čase. Rovněž je podána nová jasnější definice history preserving bisimilarity na BPP.
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/1M0567" target="_blank" >1M0567: Centre for Applied Cybernetics</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of TAAPSD'06
ISBN
966-8290-12-7
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
9-14
Publisher name
Universitetske Vidavnictvo Pulsari
Place of publication
Kyjev
Event location
—
Event date
—
Type of event by nationality
—
UT code for WoS article
—