J 1994

Modal mu-Calculus with Distances

BRIM, Luboš

Basic information

Original name

Modal mu-Calculus with Distances

Authors

Edition

Scripta Fac.Brun. 1994, 2101-2986

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

20206 Computer hardware and architecture

Country of publisher

Czech Republic

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/94:00000033

Organization unit

Faculty of Informatics
Změněno: 13/1/2000 11:53, prof. RNDr. Luboš Brim, CSc.

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