Gian Luigi Ferrari;Roberto Gorrieri;Ugo Montanari
-;-;-
Parameterized Structured Operational Semantics
Fundamenta Informaticae
Atomicity And Concurrency Control In Process Calculi