Articles liés à Semantics of Probabilistic Processes: An Operational...
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Date d'édition2015
- ISBN 10 3662451972
- ISBN 13 9783662451977
- ReliureRelié
- Langueanglais
- Nombre de pages249
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 47,23
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Semantics of Probabilistic Processes: An Operational...
Image d'archives
Semantics of probabilistic processes. An operational approach.
Edité par
Shanghai, Springer., 2014
ISBN 10 : 3662451972
ISBN 13 : 9783662451977
Ancien ou d'occasion
Couverture rigide
Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
24 cm. XIV, 249 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. N° de réf. du vendeur 7192EB
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Semantics of Probabilistic Processes
Edité par
Springer Berlin Heidelberg, 2015
ISBN 10 : 3662451972
ISBN 13 : 9783662451977
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The first book available on probabilistic testing semanticsOffers in-depth examination of probabilistic bisimulation from logical, metric, and algorithmic perspectivesDemonstrates the use of many mathematical techniques in solving problems . N° de réf. du vendeur 18984408
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Semantics of Probabilistic Processes : An Operational Approach
Edité par
Springer Berlin Heidelberg, 2015
ISBN 10 : 3662451972
ISBN 13 : 9783662451977
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783662451977
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Semantics of Probabilistic Processes
Edité par
Springer Berlin Heidelberg Mrz 2015, 2015
ISBN 10 : 3662451972
ISBN 13 : 9783662451977
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 264 pp. Englisch. N° de réf. du vendeur 9783662451977
Quantité disponible : 2 disponible(s)
Image d'archives
Semantics of Probabilistic Processes: An Operational Approach
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783662451977_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Semantics of Probabilistic Processes
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2015, 2015
ISBN 10 : 3662451972
ISBN 13 : 9783662451977
Neuf
Couverture rigide
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch. N° de réf. du vendeur 9783662451977
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Semantics of Probabilistic Processes : An Operational Approach
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 22033706-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Semantics of Probabilistic Processes: An Operational Approach
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783662451977
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Semantics of Probabilistic Processes : An Operational Approach
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 22033706-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Semantics of Probabilistic Processes : An Operational Approach
Edité par
Springer, 2015
ISBN 10 : 3662451972
ISBN 13 : 9783662451977
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 22033706
Quantité disponible : Plus de 20 disponibles