• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Semantics of Probabilistic Processes: An Operational Approach

Semantics of Probabilistic Processes: An Operational Approach

Paperback

FictionGeneral ComputersProgramming

ISBN10: 3662515989
ISBN13: 9783662515983
Publisher: Springer Nature
Published: Oct 6 2016
Pages: 249
Weight: 0.82
Height: 0.55 Width: 6.14 Depth: 9.21
Language: English
1. Introduction.- 2. Mathematical Preliminaries.- 3. Probabilistic Bisimulation.- 4. Probabilistic Testing Semantics.- 5. Testing Finite Probabilistic Processes.- 6. Testing Finitary Probabilistic Processes.- 7. Weak probabilistic bisimulation.- Index.

1 different editions

Also available

Also in

Programming