Artículos relacionados a Semantics of Probabilistic Processes: An Operational...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
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.
De la contraportada
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2015
- ISBN 10 3662451972
- ISBN 13 9783662451977
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas264
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 53,49
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Semantics of Probabilistic Processes: An Operational...
Imagen de archivo
Semantics of probabilistic processes. An operational approach.
Publicado por
Shanghai, Springer., 2014
ISBN 10: 3662451972
ISBN 13: 9783662451977
Antiguo o usado
Tapa dura
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
Calificación del vendedor: 4 de 5 estrellas
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 ref. del artículo: 7192EB
Cantidad disponible: 1 disponibles
Imagen del vendedor
Semantics of Probabilistic Processes
Publicado por
Springer Berlin Heidelberg Mrz 2015, 2015
ISBN 10: 3662451972
ISBN 13: 9783662451977
Nuevo
Tapa dura
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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 ref. del artículo: 9783662451977
Cantidad disponible: 2 disponibles
Imagen del vendedor
Semantics of Probabilistic Processes : An Operational Approach
Publicado por
Springer Berlin Heidelberg, 2015
ISBN 10: 3662451972
ISBN 13: 9783662451977
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: 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 ref. del artículo: 9783662451977
Cantidad disponible: 1 disponibles
Imagen de archivo
Semantics of Probabilistic Processes: An Operational Approach
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783662451977_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Semantics of Probabilistic Processes
Publicado por
Springer Berlin Heidelberg, 2015
ISBN 10: 3662451972
ISBN 13: 9783662451977
Nuevo
Tapa dura
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebunden. Condición: 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 ref. del artículo: 18984408
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Semantics of Probabilistic Processes : An Operational Approach
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 22033706-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Semantics of Probabilistic Processes: An Operational Approach
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783662451977
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Semantics of Probabilistic Processes : An Operational Approach
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 22033706-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Semantics of Probabilistic Processes : An Operational Approach
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 22033706
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Semantics of Probabilistic Processes : An Operational Approach
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 22033706
Cantidad disponible: Más de 20 disponibles