A Logical Viewpoint on Process-Algebraic Quotients

• Authors: KUČERA Antonín; ESPARZA Javier
• Year of publication: 1999
• Type: Article in Proceedings
• Conference: Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99)
• MU Faculty or unit: Faculty of Informatics
• Field: Computer hardware and software
• Keywords: verification; concurrency; logic; process descriptions

Related projects

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