Towards a Protocol Algebra Based on Algebraic Specifications.

Iakovos Ouranos, Petros S. Stefaneas

Browse the full SERA paper archive.