Semantics of Probabilistic Processes : An Operational Approach
This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspecti...
Uloženo v:
Hlavní autor: | |
---|---|
Korporace: | |
Médium: | E-kniha |
Jazyk: | angličtina |
Vydáno: |
Berlin, Heidelberg :
Springer Berlin Heidelberg :
2014
|
Žánr/forma: | elektronické knihy |
ISBN: | 9783662451984 |
On-line přístup: | Plný text |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|