On Finite Representations of Infinite-State Behaviours.
| Autoři | |
|---|---|
| Rok publikování | 1997 |
| Druh | Článek ve sborníku |
| Konference | Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97) |
| Fakulta / Pracoviště MU | |
| Citace | KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. F. Plášil, K.G. Jeffery (Eds.). In Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97). Berlin: Springer, 1997, s. 481-488. Lecture Notes in Computer Science, vol. 1338. ISBN 3-540-63774-5. |
| Obor | Počítačový hardware a software |
| Klíčová slova | concurrency; infinite-state systems; behavioural equivalences |
| Související projekty: |