J 1998

MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings

JANČAR, Petr and Mojmír KŘETÍNSKÝ

Basic information

Original name

MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings

Authors

JANČAR, Petr and Mojmír KŘETÍNSKÝ

Edition

FI MU Report Series, Brno, FI MU, 1998

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/98:00001618

Organization unit

Faculty of Informatics

Keywords in English

Concurrency; infinite-state systems

Tags

Změněno: 13/1/2000 12:18, prof. RNDr. Mojmír Křetínský, CSc.

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