Semantics of Probabilistic Processes An Operational Approach

Language: English

Published by Springer, 2015

3662451972 / 9783662451977

  • Hardcover
  • New
See all details

Seller: Home-set, Mannheim, GermanyHome-set

5-star seller

AbeBooks seller since April 13, 2026

Hardcover

Condition: New

£ 57.52

£ 41.67 shipping 
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket
Free 30-day returns

Item description from seller

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 perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics. It can also be used by researchers and practitioners either for advanced study or for technical reference. Sprache: Englisch Gewicht in Gramm: 513.

Seller Inventory # IB-376416

Title
Semantics of Probabilistic Processes An Operational Approach
Author
Yuxin Deng
Publisher
Springer
Publication year
2015
Condition
Neu
Binding
Gebundene Ausgabe
Language
English
ISBN 10
3662451972
ISBN 13
9783662451977
Item weight
513 grams

Home-set

Mannheim, Germany

5-star seller

AbeBooks seller since April 13, 2026

Shipping rates from Germany to U.S.A.

Item10 to 12 business days8 to 10 business days
First item£ 41.67£ 62.64
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Check

Specialty

Buch

Seller's business information

Home-set

Germany