D 2003

Deciding Bisimilarity between BPA and BPP Processes

JANČAR, Petr, Antonín KUČERA and Faron MOLLER

Basic information

Original name

Deciding Bisimilarity between BPA and BPP Processes

Authors

JANČAR, Petr (203 Czech Republic), Antonín KUČERA (203 Czech Republic, guarantor) and Faron MOLLER (124 Canada)
R. Amadio, D. Lugiez (Eds.).

Edition

Berlin, Proceedings of 14th International Conference on Concurrency Theory (CONCUR 2003), p. 159-174, 2003

Publisher

Springer

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Germany

Confidentiality degree

není předmětem státního či obchodního tajemství

RIV identification code

RIV/00216224:14330/03:00008161

Organization unit

Faculty of Informatics

ISBN

3-540-40753-7

UT WoS

000185948700010

Keywords in English

verification; bisimilarity; infinite-state systems

Tags

Tags

International impact, Reviewed
Změněno: 22/11/2006 17:28, prof. RNDr. Antonín Kučera, Ph.D.

Abstract

V originále

We identify a necessary condition for when a given BPP process can be expressed as a BPA process. We provide an effective procedure for testing if this condition holds of a given BPP, and in the positive case we provide an effective construction for a particular form of one-counter automaton which is bisimilar to the given BPP. This in turn provides the mechanism to decide bisimilarity between a given BPP process and a given BPA process.

Links

GA201/03/1161, research and development project
Name: Verifikace nekonečně stavových systémů
Investor: Czech Science Foundation, Verification of infinite-state systems
MSM 143300001, plan (intention)
Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing