Concurrency semantics

From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by imported>Boleyn at 08:30, 28 June 2024 (needs ref). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Template:Unreferenced stub Template:Semantics In computer science, concurrency semantics is a way to give meaning to concurrent systems in a mathematically rigorous way. Concurrency semantics is often based on mathematical theories of concurrency such as various process calculi, the actor model, or Petri nets.

A more detailed account of concurrency semantics is given here: Concurrency (computer science).

References

<templatestyles src="Reflist/styles.css" />

Script error: No such module "Check for unknown parameters".


Template:Asbox

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Concurrency_semantics&oldid=1780509"