Fundraising September 15, 2024 – October 1, 2024 About fundraising

Process Algebras for Petri Nets: The Alphabetization of...

Main
Computers
Process Algebras for Petri Nets: The...

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Roberto Gorrieri

0 / 0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Categories:

Year:

2017

Publisher:

Springer

Language:

english

Pages:

303

ISBN 10:

3319555596

ISBN 13:

9783319555591

File:

PDF, 2.69 MB

IPFS:

,

english, 2017

This book isn't available for download due to the complaint of the copyright holder

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

You may be interested in

Eike Best (auth.), Grzegorz Rozenberg (eds.) — Advances in Petri Nets 1992

J.A. Bergstra, A. Ponse, S.A. Smolka — Handbook of Process Algebra

J.A. Bergstra, A. Ponse, S.A. Smolka — Handbook of Process Algebra

Jorg Desel, Javier Esparza — Free choice Petri nets

Michel Diaz — Petri Nets: Fundamental Models, Verification and Applications

Susanna Donatelli, Stefan Haar — Application and Theory of Petri Nets and Concurrency: 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

Ryszard Janicki, Natalia Sidorova, Thomas Chatain — Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings

Gianfranco Ciardo, Ekkart Kindler (eds.) — Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings

Raymond Devillers, Antti Valmari (eds.) — Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Roberto Gorrieri, Cristian Versari (auth.) — Introduction to Concurrency Theory: Transition Systems and CCS

Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.) — Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

Giuliana Franceschinis (auth.), Gianfranco Ciardo, Philippe Darondeau (eds.) — Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

Dawson Engler (auth.), Martín Abadi, Luca de Alfaro (eds.) — CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

Kurt Jensen (auth.), Wil M. P. van der Aalst, Eike Best (eds.) — Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings

Susanna Donatelli (auth.), José-Manuel Colom, Maciej Koutny (eds.) — Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings

Marco Baldassari, Giorgio Bruno (auth.), Grzegorz Rozenberg (eds.) — Advances in Petri Nets 1988

Dirk A. Taubner (auth.) — Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets

Eike Best (auth.), Grzegorz Rozenberg (eds.) — Advances in Petri Nets 1992

Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alex Yakovlev (auth.), Mogens Nielsen, Dan Simpson (eds.) — Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings

Samson Abramsky (auth.), Jetty Kleijn, Alex Yakovlev (eds.) — Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Claus Brabrand (auth.), Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington (eds.) — Transactions on Petri Nets and Other Models of Concurrency I

Gabriel Juhás, Igor Kazlov, Ana Juhásová (auth.), Johan Lilius, Wojciech Penczek (eds.) — Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings

Brian Randell (auth.), Lars M. Kristensen, Laure Petrucci (eds.) — Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.) — CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Susanne Göbel (auth.) — A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains

Guanjun Liu — Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems

Most frequently terms