Dmitriy Bushin

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 2

Top Topics

Service Composition

Discrete Event Systems

Top Venues

Fundam. Informaticae

Ershov Memorial Conference

Program. Comput. Softw.

Publications

Irina B. Virbitskaite, Dmitriy Bushin, Eike Best
True Concurrent Equivalences in Time Petri Nets. Fundam. Informaticae 149 (4) (2016)
Dmitriy Bushin, Irina B. Virbitskaite
Comparative trace semantics of time Petri nets. Program. Comput. Softw. 41 (3) (2015)
Irina B. Virbitskaite, Dmitriy Bushin
Comparing Semantics Under Strong Timing of Petri Nets. Ershov Memorial Conference (2014)
Dmitriy Bushin, Irina B. Virbitskaite
Time Process Equivalences for Time Petri Nets. CS&P (2014)