scientific article; zbMATH DE number 3970098

MaRDI QIDQ3736897zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

Deadlockequivalenceflow netflow structuresflow-of-control algebraflowchartrecursion equations

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Recommendations

• Meta model of concurrent computation. I: Graph Model
• A Theory of Communicating Sequential Processes
• scientific article; zbMATH DE number 4064457
• A theory for nondeterminism, parallelism, communication, and concurrency
• scientific article; zbMATH DE number 4096757

Cited in

(6)

• Meta model of concurrent computation. I: Graph Model
• scientific article; zbMATH DE number 4060684 (Why is no real title available?)
• Unifying Semantics for Concurrent Programming
• scientific article; zbMATH DE number 1424057 (Why is no real title available?)
• A systematic approach to language constructs for concurrent programs
• Contractions in comparing concurrency semantics

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