- 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 - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł