CONCUR 2013 -- Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings /

This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 34 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 115 sub...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: D'Argenio, Pedro R. (Editor ), Melgratti, Hernan (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:Theoretical Computer Science and General Issues, 8052
Temas:
Computer science.
Software engineering.
Computer science-Mathematics.
Mathematical statistics.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Probability and Statistics in Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Process Semantics and Modal Transition Systems.- VAS and Pushdown Systems.- Pi Calculus and Interaction Nets
  • Linearizability and Verification of Concurrent Programs
  • Verification of Infinite Models, Model Measure and Reversibility.- Stochastic Models.- Message-Based Interacting Processes.-  Principles of Automatic Verification
  • Games and Control Synthesis.

Ejemplares similares