,

Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous.

, и .
J. Log. Algebraic Methods Program., (2017)

Метаданные

тэги

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

  • @dblp

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