Luca Bernardinello, Gorkem Kilinc, Elisabetta Mangioni, Lucia Pomello. Modeling Distributed Private Key Generation by Composing Petri Nets. In Daniel Moldt, editor, Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013. Volume 989 of CEUR Workshop Proceedings, pages 77-96, CEUR-WS.org, 2013. [doi]
Abstract is missing.