scientific article; zbMATH DE number 4041280
From MaRDI portal
Publication:3779754
zbMATH Open0638.68054MaRDI QIDQ3779754FDOQ3779754
Authors: Michael Shields
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
CCScondition/event systemscalculus of communicating systemsC/E systemsalgebraic models of parallelism
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)