Повернутися до подробиць статті
Implementation of Late Name Binding, Asynchronous Pi-Calculus in Maude
Завантажити
Завантажити PDF