scientific article; zbMATH DE number 140261

zbMATH Open0785.68057MaRDI QIDQ4028643FDOQ4028643

Authors: Jean-Pierre Courtiat, Rosvelter João Coelho da Costa 

Publication date: 28 March 1993

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

Recommendations

• Modeling concurrency with partial orders
• Concurrency theory. Calculi and automata for modelling untimed and timed cocurrent systems.
• scientific article; zbMATH DE number 17816
• scientific article; zbMATH DE number 3956419
• A partial ordering semantics for CCS

zbMATH Keywords

operational semanticsconcurrent systemsLOTOSstrong bisimulation equivalencetrue concurrency semanticspartially ordered (multi)sets

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Cited In (3)

• Bundle event structures: a revised cpo approach.
• 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 Q4028643)