Cover Image
Read Now

CONCUR 2012- Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 sub...

Full description

Bibliographic Details
Other Authors: Koutny, Maciej (Editor), Ulidowski, Irek (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2012, 2012
Edition:1st ed. 2012
Series:Theoretical Computer Science and General Issues
Subjects:
Computer Communication Networks
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Formal Languages And Automata Theory
Application Software
Computer Networks 
Machine Theory
Computer And Information Systems Applications
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Reachability analysis.-qualitative and timed systems.-behavioural equivalences.-temporal logics.-session types
  • abstraction
  • mobility and space in process algebra.-stochastic systems.-probabilistic systems
  • Petri nets and non-sequential semantics.-verification; decidability

Similar Items