Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
Descubre cómo la conferencia PETRI NETS 2014 reunió a investigadores para profundizar en modelos concurrentes, ofreciendo artículos sobre algoritmos de sincronización y verificación formal aplicados a sistemas distribuidos.