Proceedings of the MFCS'98 Workshop on Concurrency

JANČAR, Petr and Mojmír KŘETÍNSKÝ. Proceedings of the MFCS'98 Workshop on Concurrency. Electronic Notes in Theoretical Computer Science. Elsevier, 1998, vol. 1998, Vol.18, p. 1-200.

Basic information

• Original name: Proceedings of the MFCS'98 Workshop on Concurrency
• Authors: JANČAR, Petr and Mojmír KŘETÍNSKÝ.
• Edition: Electronic Notes in Theoretical Computer Science, Elsevier, 1998.

Other information

• Original language: English
• Type of outcome: Article in a journal
• Field of Study: 20206 Computer hardware and architecture
• Country of publisher: Netherlands
• Confidentiality degree: is not subject to a state or trade secret
• WWW: ENTCS home page
• RIV identification code: RIV/00216224:14330/98:00000814
• Organization unit: Faculty of Informatics

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