scientific article; zbMATH DE number 897903

zbMATH Open0855.68061MaRDI QIDQ4884896FDOQ4884896

Authors: Alexandru Mateescu 

Publication date: 8 July 1996

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

Recommendations

• An algebra of concurrent non-deterministic processes
• scientific article; zbMATH DE number 1051237
• scientific article; zbMATH DE number 44290
• scientific article; zbMATH DE number 3894457

zbMATH Keywords

specification method of algebraic concurrent processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

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