Author Search Results :: UTM Library Massive Scholar Tracking

1

Nets of active resources by V. A. Bashkin

Published 2007-12-01

Get full text

Article
2

On the Hereditary Properties of Modular Nets by V. A. Bashkin

Published 2012-01-01

Get full text

Article
3

On the Hereditary Properties of Modular Nets by V. A. Bashkin

Published 2015-03-01

Get full text

Article
4

On the Efficient Representation of an Unbounded Resource with the Aid of One-Counter Circuits by V. A. Bashkin

Published 2013-04-01

Get full text

Article
5

On the Efficient Representation of an Unbounded Resource with the Aid of One-Counter Circuits by V. A. Bashkin

Published 2013-01-01

Get full text

Article
6

Approximating Bisimulation in One-counter Nets by V. A. Bashkin

Published 2011-12-01

Get full text

Article
7

On the Decidability of Soundness of Workflow Nets with an Unbounded Resource by V. A. Bashkin, I. A. Lomazova

Published 2013-01-01

Get full text

Article
8

On the Decidability of Soundness of Workflow Nets with an Unbounded Resource by V. A. Bashkin, I. A. Lomazova

Published 2013-08-01

Get full text

Article
9

Controllable Deadlocks in Parallel Resource-Constrained Workflows by V. A. Bashkin, N. Yu. Panfilova

Published 2014-12-01

Get full text

Article
10

Instrumental Supporting System for Developing and Analysis of Software-Deﬁned Networks of Mobile Objects by V. A. Sokolov, S. V. Korsakov, A. V. Smirnov, V. A. Bashkin, E. S. Nikitin

Published 2015-08-01

Get full text

Article