History Preserving Bisimilarity on Basic Parallel Processes

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

—

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.

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

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)

Publication year

2006

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

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

—