Kniha momentálne nie je na sklade
Probabilistic Trace and Testing Semantics
The Importance of Being Coherent
Autori
Viac o knihe
Focusing on trace and testing semantics, this monograph explores nondeterministic and probabilistic processes through simple probabilistic automata. It defines traces as sequences of activities that abstract branching behaviors and formalizes tests as processes with success states. The author reviews nondeterministic and probabilistic models, addressing anomalies and offering solutions. Additionally, alternative characterizations of probabilistic trace equivalences and the challenges of probabilistic testing equivalence are discussed. This work is tailored for researchers in formal methods related to programming languages.
Nákup knihy
Probabilistic Trace and Testing Semantics, Marco Bernardo
- Jazyk
- Rok vydania
- 2022
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Probabilistic Trace and Testing Semantics
- Podtitul
- The Importance of Being Coherent
- Jazyk
- anglicky
- Autori
- Marco Bernardo
- Vydavateľ
- Now Publishers Inc
- Rok vydania
- 2022
- Väzba
- mäkká
- Počet strán
- 106
- ISBN13
- 9781638280743
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- Focusing on trace and testing semantics, this monograph explores nondeterministic and probabilistic processes through simple probabilistic automata. It defines traces as sequences of activities that abstract branching behaviors and formalizes tests as processes with success states. The author reviews nondeterministic and probabilistic models, addressing anomalies and offering solutions. Additionally, alternative characterizations of probabilistic trace equivalences and the challenges of probabilistic testing equivalence are discussed. This work is tailored for researchers in formal methods related to programming languages.