Tarasyuk I. A notion of congruence for dtsPBC // Computer Science. — 2008 . — # 28.  — P. 121-141
Tarasyuk I. Iteration in discrete time stochastic Petri box calculus // Computer Science. — 2006 . — # 24.  — P. 129-148
Subscribe to denotational semantics