Cargando…

Transactions on Petri Nets and Other Models of Concurrency IX

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own E...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Koutny, Maciej (Editor ), Haddad, Serge (Editor ), Yakovlev, Alex (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Edición:	1st ed. 2014.
Colección:	Transactions on Petri Nets and Other Models of Concurrency, 8910
Temas:	Software engineering. Computer science. Software Engineering. Computer Science Logic and Foundations of Programming.
Acceso en línea:	Texto Completo

Ejemplares similares

Transactions on Petri Nets and Other Models of Concurrency XI
Publicado: (2016)

Transactions on Petri Nets and Other Models of Concurrency X
Publicado: (2015)

Transactions on Petri Nets and Other Models of Concurrency VIII
Publicado: (2013)

Transactions on Petri Nets and Other Models of Concurrency VII
Publicado: (2013)

Transactions on Petri Nets and Other Models of Concurrency III
Publicado: (2009)

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings /
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)

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

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

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems /
Publicado: (2009)

Transactions on Petri Nets and Other Models of Concurrency VI
Publicado: (2012)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings /
Publicado: (2010)

Transactions on Aspect-Oriented Software Development IX
Publicado: (2012)

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

Application and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings /
Publicado: (2011)

Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 /
Publicado: (2015)

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

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

Transactions on Petri Nets and Other Models of Concurrency V
Publicado: (2012)

Transactions on Petri Nets and Other Models of Concurrency IV
Publicado: (2010)

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

Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings /
Publicado: (2014)

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling.
Publicado: (2010)

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers /
Publicado: (2009)

Model Checking Software 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings /
Publicado: (2012)

Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings /
Publicado: (2009)

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /
Publicado: (2007)

Model-Based Testing of Reactive Systems Advanced Lectures /
Publicado: (2005)

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /
Publicado: (2006)

Transactions on Foundations for Mastering Change I
Publicado: (2016)

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /
Publicado: (2005)

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
Publicado: (2015)

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings /
Publicado: (2013)

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
Publicado: (2008)

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

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /
Publicado: (2005)

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings /
Publicado: (2007)

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /
Publicado: (2006)

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings /
Publicado: (2008)

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