Protocol specialization. (2004)

by M Neubauer, P Thiemann
Venue:of Lecture Notes in Computer Science,