Modeling of Object-Oriented Programs with Petri Net Structured Objects

DOI10.4149/cai_2017_5_1063zbMath1504.68035MaRDI QIDQ4557342

Evgeniy Golenkov, George Tarasov, Dmitriy Kharitonov

Publication date: 29 November 2018

Published in: Computing and Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4149/cai_2017_5_1063

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)