Вы здесь

Главная

LITP

Связанные издания:

Distributed Termination in CSP Symmetric Solutions with Minimal Storage
Muller Automata and bi-Infinite Words
On Semantics of Non Deterministic Recursive Program Schemes