scientific article; zbMATH DE number 17794

zbMATH Open0755.68047MaRDI QIDQ3975136FDOQ3975136

Ludmila A. Cherkasova, Vadim E. Kotov

Publication date: 26 June 1992

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

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)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A theory for nondeterminism, parallelism, communication, and concurrency
• Functional behavior of nondeterministic and concurrent programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Programming Languages and Systems

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Correctness of concurrent processes 👍 👎
• An algebra of concurrent non-deterministic processes 👍 👎

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)