Corrado Priami;Daniel Yankelevich
-;-
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)