scientific article

zbMATH Open0785.68057MaRDI QIDQ4028643FDOQ4028643

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

Publication date: 28 March 1993

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

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

   Recommendations

• Modeling concurrency with partial orders 👍 👎
• Concurrency theory. Calculi and automata for modelling untimed and timed cocurrent systems. 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A partial ordering semantics for CCS 👍 👎

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)