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
Tarasyuk I. Performance evaluation of the generalized shared memory system in dtsPBC // Computer Science. — 2011 . — # 32.  — P. 127-155
Tarasyuk I. Performance preserving equivalences for dtsPBC // Computer Science. — 2010 . — # 31.  — P. 155-178
Subscribe to discrete time