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

• Authors: JANČAR Petr; KŘETÍNSKÝ Mojmír
• Year of publication: 1998
• Type: Article in Periodical
• Magazine / Source: FI MU Report Series
• MU Faculty or unit: Faculty of Informatics
• Field: Computer hardware and software
• Keywords: Concurrency; infinite-state systems

Related projects

• Algorithmic Verification Boundaries for Infinite-State Systems
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing