Bisimilarity of Processes with Finite-State Systems

JANČAR, Petr and Antonín KUČERA. Bisimilarity of Processes with Finite-State Systems. F. Moller (Editor). In Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97). Uppsala (Sweden): University of Uppsala, 1997, p. 72-85. UPMAIL TR No. 148. ISBN 1100-0686.

Basic information

Original name

Bisimilarity of Processes with Finite-State Systems

Authors

JANČAR, Petr and Antonín KUČERA
F. Moller (Editor).

Edition

Uppsala (Sweden), Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97), p. 72-85, UPMAIL TR No. 148, 1997

Publisher

University of Uppsala

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

20206 Computer hardware and architecture

Country of publisher

Sweden

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/97:00000101

Organization unit

Faculty of Informatics

ISBN

1100-0686

Keywords in English

concurrency; bisimilarity; infinite-state systems

Tags

bisimilarity, concurrency, infinite-state systems

---

Links

GA201/97/0456, research and development project	Name: Meze algoritmické verifikovatelnosti nekonečně stavových systémů Investor: Czech Science Foundation, Algorithmic Verification Boundaries for 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