scientific article; zbMATH DE number 558292

zbMATH Open0792.68097MaRDI QIDQ4289720FDOQ4289720

Authors: S. V. Kotov 

Publication date: 28 April 1994

Title of this publication is not available (Why is that?)

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)