EBOOK

Semantics of Probabilistic Processes


€ 75,99
 
pdf eBook
Sofort lieferbar (Download)
Februar 2015

Beschreibung

Beschreibung

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.

Inhaltsverzeichnis


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.

Innenansichten

Portrait

Yuxin Deng got his BEng (1999) and MSc (2002) from Shanghai Jiao Tong University, China, and PhD (2005) from Ecole des Mines de Paris, France. He was a research associate at University of New South Wales, Australia (2005-2006). Since 2006 he has joined Shanghai Jiao Tong University and is now an associate professor in Department of Computer Science and Engineering. In 2011 he was a visiting research fellow at Carnegie Mellon University. During 2012-2013 he was a loaned expert at UNESCO Headquarters on secondment from the Ministry of Education of China. Dr. Deng's research interests include concurrency theory, especially about process calculi, and formal semantics of programming languages, as well as formal verification of security protocols and distributed algorithms. His recent research focus is probabilistic concurrency theory for which he has contributed to the development of probabilistic testing semantics and (bi)simulation semantics. Dr. Deng has published 50 papers in international journals and conferences. He served as PC members for a number of conferences such as FORTE 2014, ICALP 2013, QEST 2013 etc. and as reviewers for many journals and conferences such as ACM Transactions on Computational Logic, Theoretical Computer Science, Information and Computation, Logical Methods in Computer Science, Formal Aspect of Computing, ICALP, LICS, CONCUR, FOSSACS, etc.

Technik

Dieses eBook wird im PDF-Format geliefert und ist mit einem Adobe DRM-Kopierschutz versehen. Sie können dieses eBook auf vielen gängigen Endgeräten lesen.

Sie können dieses eBook auf vielen gängigen Endgeräten lesen.

Für welche Geräte?
Sie können das eBook auf allen Lesegeräten, in Apps und in Lesesoftware öffnen, die PDF und Adobe DRM unterstützen:

  • tolino Reader
    Öffnen Sie das eBook nach der automatischen Synchronisation auf dem Reader oder übertragen Sie das eBook auf Ihr tolino Gerät mit einer kostenlosen Software wie beispielsweise Adobe Digital Editions.

  • Sony Reader und andere eBook Reader
    Laden Sie das eBook direkt auf dem Reader im eBook.de-Shop herunter oder übertragen Sie das eBook mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions auf ein Standard-Lesegeräte mit PDF- und Adobe DRM-Unterstützung.

  • Tablets und Smartphones
    Installieren Sie die eBook.de READER App für Android und iOS oder verwenden Sie eine andere Lese-App für PDF-eBooks mit Adobe DRM.

  • PC und Mac
    Lesen Sie das eBook direkt nach dem Herunterladen über "Jetzt lesen" im Browser, oder mit der kostenlosen Lesesoftware Adobe Digital Editions.

Schalten Sie das eBook mit Ihrer persönlichen Adobe ID auf bis zu sechs Geräten gleichzeitig frei.

Bitte beachten Sie: Dieses eBook ist nicht auf Kindle-Geräten lesbar.

Ihr erstes eBook?
Hier erhalten Sie alle Informationen rund um die digitalen Bücher für Neueinsteiger.

EAN: 9783662451984
Untertitel: An Operational Approach. 2014. Auflage. 32 schwarz-weiße Abbildungen, Bibliographie. eBook. Sprache: Englisch. Dateigröße in MByte: 4.
Verlag: Springer Berlin Heidelberg
Erscheinungsdatum: Februar 2015
Seitenanzahl: xiv249
Format: pdf eBook
Kopierschutz: Adobe DRM
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben