scientific article; zbMATH DE number 3821089

zbMATH Open0518.68014MaRDI QIDQ3667927FDOQ3667927

Authors:

Publication date: 1983

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

zbMATH Keywords

fairnesscommunicating systemsobservational congruence

Mathematics Subject Classification ID

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

Cited In (9)

• An algebraic theory of fair asynchronous communicating processes
• A partial ordering semantics for CCS
• Concurrent histories: a basis for observing distributed systems
• Concurrency and atomicity
• Partial ordering models for concurrency can be defined operationally
• Merging regular processes by means of fixed-point theory
• Towards a formal proof system for \(\omega\)-rational expressions
• Weak and strong fairness in CCS
• About fair asynchrony

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