Lalita Jategaonkar
Massachusetts Institute of Technology, Cambridge
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)