scientific article; zbMATH DE number 17794

MaRDI QIDQ3975136zbMATHFDO

Authors Ludmila A. Cherkasova, Vadim E. Kotov

Publication date 26 June 1992

zbMATH Keywords

denotational semanticsprocess algebras

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• An algebra of concurrent non-deterministic processes
• Correctness of concurrent processes
• scientific article; zbMATH DE number 4064457
• scientific article; zbMATH DE number 1534595
• scientific article; zbMATH DE number 785044

Cited in

(9)

• scientific article; zbMATH DE number 4047057 (Why is no real title available?)
• scientific article; zbMATH DE number 4182807 (Why is no real title available?)
• Functional behavior of nondeterministic and concurrent programs
• scientific article; zbMATH DE number 3974310 (Why is no real title available?)
• A theory for nondeterminism, parallelism, communication, and concurrency
• scientific article; zbMATH DE number 3872691 (Why is no real title available?)
• Programming Languages and Systems
• scientific article; zbMATH DE number 1533824 (Why is no real title available?)
• scientific article; zbMATH DE number 1534595 (Why is no real title available?)

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