scientific article; zbMATH DE number 897903

MaRDI QIDQ4884896zbMATHFDO

Authors Alexandru Mateescu

Publication date 8 July 1996

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)

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

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)