Application and Theory of Petri Nets and Concurrency, 1st ed. 2021 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Buchs Didier, Carmona Josep
The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.
Date de parution : 05-2021
Ouvrage de 487 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panier