scientific article; zbMATH DE number 558292

MaRDI QIDQ4289720zbMATH OpenFDO

Authors S. V. Kotov

Publication date 28 April 1994

zbMATH Keywords

parallel processesoperational semantics\(\Sigma^ +\)-programs\(r\)-programs

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

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 Q4289720)