On Finite Representations of Infinite-State Behaviours.

• Authors: KUČERA Antonín
• Year of publication: 1997
• Type: Article in Proceedings
• Conference: Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97)
• MU Faculty or unit: Faculty of Informatics
• Field: Computer hardware and software
• Keywords: concurrency; infinite-state systems; behavioural equivalences

Related projects

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