scientific article; zbMATH DE number 4018366

MaRDI QIDQ3030236zbMATH OpenFDO

Authors Grazyna Mirkowska, Andrzej Salwicki

Publication date 1987

zbMATH Keywords

ARB semanticsKripke modelMAX semanticsparallel executionsemantics of concurrent programs

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Toward a theory of maximally concurrent programs (shortened version)
• scientific article; zbMATH DE number 3902009
• Maximally concurrent programs
• scientific article; zbMATH DE number 3932376
• scientific article; zbMATH DE number 4180790

Cited in

(5)

• Fairness and the axioms of control predicates
• Axiomatic-like performance analysis (ALPA)
• A model of dynamical concurrent program execution
• Toward a theory of maximally concurrent programs (shortened version)
• Maximally concurrent programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3030236)