scientific article; zbMATH DE number 4041280

MaRDI QIDQ3779754zbMATH OpenFDO

Authors Michael Shields

Publication date 1987

zbMATH Keywords

CCScondition/event systemscalculus of communicating systemsC/E systemsalgebraic models of parallelism

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4018372
• scientific article; zbMATH DE number 4030999
• On nets, algebras and modularity
• Algebraic theories for contextual pre-nets.
• scientific article; zbMATH DE number 4064457

Cited in

(17)

• scientific article; zbMATH DE number 1555178 (Why is no real title available?)
• Parallelizable algebras
• Feedback, trace and fixed-point semantics
• scientific article; zbMATH DE number 4018372 (Why is no real title available?)
• Algebraic theories for contextual pre-nets.
• On nets, algebras and modularity
• scientific article; zbMATH DE number 2087511 (Why is no real title available?)
• scientific article; zbMATH DE number 5905566 (Why is no real title available?)
• Structure theory of equal conflict systems
• Bicategories of processes
• An algebraic model of observable properties in distributed systems
• Injective envelope and parallel decomposition of a transition system
• scientific article; zbMATH DE number 4050965 (Why is no real title available?)
• Event fairness and non-interleaving concurrency
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 4064457 (Why is no real title available?)
• Trade-offs in true concurrency: Pomsets and mazurkiewicz traces

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