scientific article; zbMATH DE number 3902007

zbMATH Open0565.68014MaRDI QIDQ3680249FDOQ3680249

Authors: Vaughan R. Pratt 

Publication date: 1985

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

Recommendations

• Modeling concurrency with partial orders
• scientific article; zbMATH DE number 4119606
• scientific article; zbMATH DE number 3905836
• scientific article; zbMATH DE number 193318
• Structure of concurrency

zbMATH Keywords

concurrencepartially ordered multisetspomsetscommunicating subprocessesorthocurrence

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (8)

• Rational mechanics and natural mathematics
• Modeling concurrency with partial orders
• Developments in concurrent Kleene algebra
• Temporal structures
• The equational theory of pomsets
• Realisability of pomsets
• Title not available (Why is that?)
• Title not available (Why is that?)

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