Modeling Distributed Private Key Generation by Composing Petri Nets

Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello. Modeling Distributed Private Key Generation by Composing Petri Nets. T. Petri Nets and Other Models of Concurrency, 9:19-40, 2014. [doi]

Abstract

Abstract is missing.