Liviu Badea
-
N-axioms parallel unification
Fundamenta Informaticae - Concurrency specification and programming