Login / Signup
V. A. Borovlev
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Markov Chain
Petri Net
Ims Ld
Concurrent Processes
Top Venues
Program. Comput. Softw.
</>
Publications
</>
Irina B. Virbitskaite
,
V. A. Borovlev
,
Louchka Popova-Zeugmann
"Truly concurrent" and nondeterministic semantics of discrete-time Petri nets.
Program. Comput. Softw.
42 (4) (2016)