J 1995

Deciding Regularity in Process Algebras

KUČERA, Antonín

Basic information

Original name

Deciding Regularity in Process Algebras

Authors

KUČERA, Antonín

Edition

BRICS Report Series, Denmark, BRICS, 1995, 0909-0878

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

20206 Computer hardware and architecture

Country of publisher

Denmark

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/95:00001752

Organization unit

Faculty of Informatics

Keywords in English

process algebras; regularity; behavioural equivalences

Tags

behavioural equivalences, process algebras, regularity
Změněno: 13/1/2000 13:23, prof. RNDr. Antonín Kučera, Ph.D.

Links

GA201/93/2123, research and development project
Name: Analýza konkurentních nekonečně stavových systémů
Investor: Czech Science Foundation, Analysis of Concurrent 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
Displayed: 10/11/2024 22:21