Вы здесь

Главная

Univ. Gesamthochschule Paderborn

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

Algebra AFP for concurrent nondeterministic processes: Fully abstract model and complete axiomatization
Strong Fairness, metric spaces, and logical complexity