Process algebras for petri nets: the alphabetization of distributed systems
Auteur :
Gorrieri, Roberto
Éditeur :
Springer International Publishing AG
ISBN :
9783319856940
Date de publication :
9 mai 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems.