Transactions on Petri Nets and Other Models of Concurrency III

Transactions on Petri Nets and Other Models of Concurrency III

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Jensen, Kurt (Editor), Billington, Jonathan (Editor), Koutny, Maciej (Editor)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series:	Lecture Notes in Computer Science, 5800
Subjects:	Mathematics. Computer programming. Software engineering. Computers. Mathematical logic. Mathematical Logic and Foundations. Models and Principles. Software Engineering. Programming Techniques. Mathematical Logic and Formal Languages. Theory of Computation.
Online Access:	Full Text via HEAL-Link

Similar Items

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
Published: (2015)

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

Petri Net Synthesis
by: Badouel, Eric, et al.
Published: (2015)

Lectures on Concurrency and Petri Nets Advances in Petri Nets /
Published: (2004)

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

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings /
Published: (2017)

Process Algebras for Petri Nets The Alphabetization of Distributed Systems /
by: Gorrieri, Roberto
Published: (2017)

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
Published: (2007)

Provably Correct Systems
Published: (2017)

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /
Published: (2016)

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
Published: (2008)

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Published: (2014)

Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings /
Published: (2011)

Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /
Published: (2012)

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

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
Published: (2012)

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
Published: (2005)

Using Event-B for Critical Device Software Systems
by: Singh, Neeraj Kumar
Published: (2013)

Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
Published: (2009)

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

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

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

Transactions on Petri Nets and Other Models of Concurrency IX
Published: (2014)

Logics of Specification Languages
Published: (2008)

Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers /
Published: (2012)

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Published: (2017)

Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /
Published: (2004)

Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /
Published: (2011)

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings /
Published: (2006)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
by: Lilius, Johan
Published: (2010)

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Published: (2010)

Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /
Published: (2004)

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
Published: (2008)

Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers /
Published: (2008)

Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings /
Published: (2009)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
Published: (2016)

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Published: (2013)

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
Published: (2011)

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

25 Years of Model Checking History, Achievements, Perspectives /
Published: (2008)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών