Semantics of Probabilistic Processes: An Operational Approach - Tapa blanda

Deng, Yuxin

9783662515983: Semantics of Probabilistic Processes: An Operational Approach

Tapa blanda

ISBN 10: 3662515989 ISBN 13: 9783662515983

Editorial: Springer, 2016

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 117,46

10 Nuevo

De EUR 53,49

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

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

EditorialSpringer
A�o de publicaci�n2016
ISBN 10 3662515989
ISBN 13 9783662515983
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de p�ginas264
Contacto del fabricanteno disponible

Comprar usado

Condici�n: Como Nuevo

Like New

Ver este art�culo

EUR 117,46

Convertir moneda

EUR 29,39 gastos de env�o desde Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 53,49

Convertir moneda

EUR 11,00 gastos de env�o desde Alemania a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Otras ediciones populares con el mismo t�tulo

9783662451977: Semantics of Probabilistic Processes: An Operational Approach

Edici�n Destacada

ISBN 10: 3662451972 ISBN 13: 9783662451977
Editorial: Springer, 2015
Tapa dura

Resultados de la b�squeda para Semantics of Probabilistic Processes: An Operational...

Imagen del vendedor

Semantics of Probabilistic Processes

Yuxin Deng

Publicado por Springer Berlin Heidelberg Okt 2016, 2016

ISBN 10: 3662515989 ISBN 13: 9783662515983

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. 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: 9783662515983

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 11,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Semantics of Probabilistic Processes : An Operational Approach

Yuxin Deng

Publicado por Springer Berlin Heidelberg, 2016

ISBN 10: 3662515989 ISBN 13: 9783662515983

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. 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: 9783662515983

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Semantics of Probabilistic Processes: An Operational Approach

Deng, Yuxin

Publicado por Springer, 2016

ISBN 10: 3662515989 ISBN 13: 9783662515983

Nuevo Tapa blanda

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: ria9783662515983_new

Contactar al vendedor

Comprar nuevo

EUR 61,53

Convertir moneda

Gastos de env�o: EUR 4,68

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Semantics of Probabilistic Processes

Yuxin Deng

Publicado por Springer Berlin Heidelberg, 2016

ISBN 10: 3662515989 ISBN 13: 9783662515983

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

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: 449138075

Contactar al vendedor

Comprar nuevo

EUR 47,23

Convertir moneda

Gastos de env�o: EUR 19,49

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Semantics of Probabilistic Processes

Yuxin Deng

Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 2016, 2016

ISBN 10: 3662515989 ISBN 13: 9783662515983

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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 ref. del art�culo: 9783662515983

Contactar al vendedor