,

A coalgebraic semantics for causality in Petri nets.

, , и .
J. Log. Algebraic Methods Program., 84 (6): 853-883 (2015)

Метаданные

тэги

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

  • @dblp

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