Download CONCUR 2013 – Concurrency Theory: 24th International by Lorenzo Alvisi, Edmund L. Wong (auth.), Pedro R. D’Argenio, PDF

By Lorenzo Alvisi, Edmund L. Wong (auth.), Pedro R. D’Argenio, Hernán Melgratti (eds.)

This ebook constitutes the completely refereed court cases of the twenty fourth foreign convention on Concurrency concept, CONCUR 2013, held in Buenos Aires, Argentina, August 27-30, 2013.
The 34 revised complete papers provided including four invited talks have been rigorously reviewed and chosen from a hundred and fifteen submissions. The papers are geared up in themes equivalent to technique semantics and modal transition platforms, VAS and pushdown structures, Pi calculus and interplay nets, linearizability and verification of concurrent courses, verification of limitless types, version degree and reversibility, stochastic types, message-based interplay tactics, ideas of automated verification, and video games and keep watch over synthesis.

Show description

Read or Download CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings PDF

Similar international books

Free Trade in the Americas: Economic and Political Issues for Governments and Firms

This e-book examines the unfastened alternate region of the Americas (FTAA), an formidable enterprise in nearby marketplace integration which builds at the ideas of the North American unfastened alternate contract. It assesses the long term company and public coverage measures to deal with the elevated financial, monetary and structural interdependence that may be required if the advantages of the FTAA are to be realised.

Finite Fields and Applications: Proceedings of The Fifth International Conference on Finite Fields and Applications F q 5, held at the University of Augsburg, Germany, August 2–6, 1999

The 5th overseas convention on Finite Fields and functions Fq5 held on the collage of Augsburg, Germany, from August 2-6, 1999 persevered a sequence of biennial foreign meetings on finite fields. The court cases rfile the gradually expanding curiosity during this subject. Finite fields have an inherently attention-grabbing constitution and are very important instruments in discrete arithmetic.

Extra resources for CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Sample text

IEEE Press (2012) 8. : Computable fixpoints in well-structured symbolic model checking. Form. Methods in Syst. Des. (to appear, 2013) 9. : Complexity analysis of the backward coverability algorithm for VASS. , Potapov, I. ) RP 2011. LNCS, vol. 6945, pp. 96–109. Springer, Heidelberg (2011) 10. : Interval temporal logics over finite linear orders: The complete picture. In: ECAI 2012. Frontiers in Artificial Intelligence and Applications, vol. 242, pp. 199–204. IOS (2012) 11. : Exponential space complete problems for Petri nets and commutative subgroups.

8(4:28) (2012) 24. : Well-structured transition systems everywhere! Theor. Comput. Sci. 256(1-2), 63–92 (2001) 25. : On a generalization of a result by Valk and Jantzen. Research Report LSV-09-09, Laboratoire Sp´ecification et V´erification, ENS Cachan, France (2009) 26. : The power of well-structured systems. , Melgratti, H. ) CONCUR 2013. LNCS, vol. 8052, pp. 5–24. Springer, Heidelberg (2013) 27. : The ordinal-recursive complexity of timed-arc Petri nets, data nets, and other enriched nets. In: LICS 2012, pp.

115–124. IEEE Press (2012) 8. : Computable fixpoints in well-structured symbolic model checking. Form. Methods in Syst. Des. (to appear, 2013) 9. : Complexity analysis of the backward coverability algorithm for VASS. , Potapov, I. ) RP 2011. LNCS, vol. 6945, pp. 96–109. Springer, Heidelberg (2011) 10. : Interval temporal logics over finite linear orders: The complete picture. In: ECAI 2012. Frontiers in Artificial Intelligence and Applications, vol. 242, pp. 199–204. IOS (2012) 11. : Exponential space complete problems for Petri nets and commutative subgroups.

Download PDF sample

Rated 4.31 of 5 – based on 34 votes