Probabilistic Characterization of Algebraic Protocol Specifications.

Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano

Browse the full ICDCS paper archive.