Article,

A coalgebraic semantics for causality in Petri nets.

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews