A. V. Bystrov

From MaRDI portal
Person:220096

Available identifiers

zbMath Open bystrov.aleksandr-vMaRDI QIDQ220096

List of research outcomes





PublicationDate of PublicationType
Truly concurrent and nondeterministic semantics of discrete-time elementary net systems2019-09-27Paper
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets2009-09-04Paper
Application of Petri nets in verification of distributed systems represented in the Estelle language2005-09-23Paper
Verification of Estelle-specified communication protocols using high-level Petri nets2002-01-06Paper
BARS - A basic parallel programming language1986-01-01Paper

Research outcomes over time

This page was built for person: A. V. Bystrov

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:220096&oldid=6929289"
Powered by MediaWiki