scientific article; zbMATH DE number 3970100

MaRDI QIDQ3736899zbMATH OpenFDO

Authors Rocco De Nicola

Publication date 1984

zbMATH Keywords

calculus of communicating systemsCCScommunicating sequential processesconcurrencyinterleaving semanticsnondeterministic processessemantic model for CSPsemantics of parallel processes

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4182807
• An algebra of concurrent non-deterministic processes
• scientific article; zbMATH DE number 4062561
• Trees and semantics
• Algebraic laws for nondeterminism and concurrency

Cited in

(5)

• On the operational semantics of nondeterminism and divergence
• A nondeterministic extension over finitely recursive process model
• scientific article; zbMATH DE number 3986629 (Why is no real title available?)
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• scientific article; zbMATH DE number 860124 (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 Q3736899)