Cover Image
Read Now

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...

Full description

Bibliographic Details
Other Authors: D'Argenio, Pedro R. (Editor), Melgratti, Hernan (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2013, 2013
Edition:1st ed. 2013
Series:Theoretical Computer Science and General Issues
Subjects:
Mathematical Statistics
Computer Science Logic And Foundations Of Programming
Software Engineering
Computer Science
Computer Science / Mathematics
Probability And Statistics In Computer Science
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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

Similar Items