Probabilistic models of random behaviours of concurrent systems

Tytuł:: Probabilistic models of random behaviours of concurrent systems
Autorzy:: Winkowski, J.
Data publikacji:: 2012
Słowa kluczowe:: concurrent system
state
process
composition
labelled poset
pomset
directed complete partial order
Scott topology
Borel σ-algebra of sets
probability measure
system współbieżny
stan
proces
składanie
etykietowany poset (zbiór częściowo uporządkowany)
częściowo uporządkowany wielozbiór (pomset)
skierowany zupełny porządek częściowy
topologia Scotta
Borelowska algebra zbiorów
miara probabilistyczna
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

The paper presents a theoretical basis for describing and analysing random behaviours of concurrent systems of a broad class.

Praca zawiera podstawy teoretyczne opisu i analizy losowych zachowań systemów współbieżnych dowolnej natury.

Informacja