A model of dynamical concurrent program execution

DOI10.1134/S0361768813010076zbMath1262.68035OpenAlexW2040137223MaRDI QIDQ1946892

M. A. Krivchikov, V. A. Vasenin

Publication date: 10 April 2013

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768813010076

zbMATH Keywords

denotational semanticsdynamical concurrent program execution

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item

This page was built for publication: A model of dynamical concurrent program execution