Parallelitätssemantik - Concurrency semantics
Semantik | ||||||||
---|---|---|---|---|---|---|---|---|
Computing | ||||||||
|
||||||||
In der Informatik ist die Parallelitätssemantik eine Möglichkeit, gleichzeitigen Systemen auf mathematisch strenge Weise Bedeutung zu verleihen . Die Parallelitätssemantik basiert häufig auf mathematischen Parallelitätstheorien wie verschiedenen Prozesskalkülen , dem Akteurmodell oder Petri-Netzen .
Dieser Informatikartikel ist ein Stummel . Sie können Wikipedia helfen, indem Sie es erweitern . |