Вы здесь

Главная

Univ. Carnegie-Mellon

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

A Note on Powerdomains and Modality
Behavioural Equivalence Relations Induced by Programming Logics
IDL - Interface Description Language
PQCC: A Machine-Relative Compiler Technology
Synchronisation Trees