scientific article; zbMATH DE number 4041280

zbMATH Open0638.68054MaRDI QIDQ3779754FDOQ3779754

Authors: Michael Shields 

Publication date: 1987

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

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

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)

Cited In (16)

• Injective envelope and parallel decomposition of a transition system
• Algebraic theories for contextual pre-nets.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Event fairness and non-interleaving concurrency
• Title not available (Why is that?)
• Structure theory of equal conflict systems
• An algebraic model of observable properties in distributed systems
• Title not available (Why is that?)
• Feedback, trace and fixed-point semantics
• Parallelizable algebras
• Title not available (Why is that?)
• Trade-offs in true concurrency: Pomsets and mazurkiewicz traces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bicategories of processes

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)