Вы здесь

Главная

Centrum voor Wiskunde en Informatica

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

A fully abstract model for concurrent nondeterministic processes based on posets with non-actions
Algebraic Techniques for Concurrency and their Application
Synchrony and Asynchrony in Process Algebra