E-mail: Keywords: models of distributing computing
Subject:
models of distributing computing
Main publications:
L.V. Dvoryansky, I.A. Lomazova, “On Compositionality of Boundedness and Liveness for Nested Petri Nets”, CONCURRENCY, SPECIFICATION AND PROGRAMMING, Proceedings of the international workshop CS&P 2011 (Pułtusk, Poland), ред. M. Szczuka et al., Białystok University of Technology, Białystok, 2011, 123–134