Constraint Solving for Contract-Signing Protocols.

Detlef Khler, Ralf Ksters

Browse the full CONCUR paper archive.