Abdellatif Obaid;Luigi Logrippo
-;-
Atomicity And Concurrency Control In Process Calculi
Fundamenta Informaticae