Effective Decomposability of Sequential Behaviours.

• Authors: KUČERA Antonín
• Year of publication: 2000
• Type: Article in Periodical
• Magazine / Source: Theoretical Computer Science
• MU Faculty or unit: Faculty of Informatics
• Field: Computer hardware and software
• Keywords: concurrency; process algebra; bisimilarity; decomposability

Related projects

• Algorithmic Verification Boundaries for Infinite-State Systems
• (Un)decidable Problems in Process Algebras
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing