,

Enhanced operational semantics: a tool for describing and analyzing concurrent systems

, и .
ACM Comput. Surv., 33 (2): 135--176 (июня 2001)
DOI: 10.1145/384192.384194

Метаданные

тэги

Пользователи данного ресурса

  • @leonardo

Комментарии и рецензии