Cargando…

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

Ejemplares similares

CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
Publicado: (2014)

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings /
Publicado: (2013)

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings /
Publicado: (2013)

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings /
Publicado: (2013)

Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings /
Publicado: (2012)

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures /
Publicado: (2014)

Introduction to Concurrency Theory Transition Systems and CCS /
por: Gorrieri, Roberto, et al.
Publicado: (2015)

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings /
Publicado: (2009)

Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings /
Publicado: (2015)

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings /
Publicado: (2010)

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
Publicado: (2008)

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /
Publicado: (2016)

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings /
Publicado: (2014)

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings /
Publicado: (2014)

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
Publicado: (2016)

Petri Net Synthesis
por: Badouel, Eric, et al.
Publicado: (2015)

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Publicado: (2013)

Concurrency Theory Calculi an Automata for Modelling Untimed and Timed Concurrent Systems /
por: Bowman, Howard, et al.
Publicado: (2006)

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
Publicado: (2014)

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /
Publicado: (2016)

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
Publicado: (2015)

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
Publicado: (2015)

Adapting Proofs-as-Programs The Curry--Howard Protocol /
por: Poernomo, Iman, et al.
Publicado: (2005)

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures /
Publicado: (2016)

Semantics of Probabilistic Processes An Operational Approach /
por: Deng, Yuxin
Publicado: (2014)

Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /
Publicado: (2015)

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers /
Publicado: (2016)

CONCUR 2011 -- Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings /
Publicado: (2011)

Foundations of Algebraic Specification and Formal Software Development
por: Sannella, Donald, et al.
Publicado: (2012)

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
Publicado: (2013)

CONCUR 2012- Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings /
Publicado: (2012)

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings /
Publicado: (2014)

CONCUR 2007 - Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings /
Publicado: (2007)

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /
Publicado: (2013)

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings /
Publicado: (2011)

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Publicado: (2015)

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings /
Publicado: (2009)

Theoretical Aspects of Computing - ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
Publicado: (2014)

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers /
Publicado: (2014)

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
Publicado: (2015)