Dmitriy Bushin

According to our database, Dmitriy Bushin authored at least 4 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

True Concurrent Equivalences in Time Petri Nets.

Irina B. Virbitskaite, Dmitriy Bushin, Eike Best

Fundam. Informaticae, 2016

2015

Comparative trace semantics of time Petri nets.

Dmitriy Bushin, Irina B. Virbitskaite

Program. Comput. Softw., 2015

2014

Comparing Semantics Under Strong Timing of Petri Nets.

Irina B. Virbitskaite, Dmitriy Bushin

Proceedings of the Perspectives of System Informatics, 2014

Time Process Equivalences for Time Petri Nets.

Dmitriy Bushin, Irina B. Virbitskaite

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014