Author of the publication

Contract Signing, Optimism, and Advantage.

, , , and . CONCUR, volume 2761 of Lecture Notes in Computer Science, page 361-377. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Brief Guide to Linear Logic.. Current Trends in Theoretical Computer Science, volume 40 of World Scientific Series in Computer Science, World Scientific, (1993)Some Semantic Aspects of Polymorphic Lambda Calculus, and . LICS, page 315-319. IEEE Computer Society, (1987)A Probabilistic Poly-Time Framework for Protocol Analysis., , , and . ACM Conference on Computer and Communications Security, page 112-121. ACM, (1998)Towards an automated assistant for clinical investigations., , , , , and . IHI, page 773-778. ACM, (2012)Reduction-Based Formal Analysis of BGP Instances., , , , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 283-298. Springer, (2012)Linear logic proof games and optimization., , and . Bull. Symb. Log., 2 (3): 322-338 (1996)Computationally sound mechanized proofs for basic and public-key Kerberos., , , and . AsiaCCS, page 87-99. ACM, (2008)Decision Problems for Propositional Linear Logic., , , and . Ann. Pure Appl. Log., 56 (1-3): 239-311 (1992)Breaking and Fixing Public-Key Kerberos., , , , and . ASIAN, volume 4435 of Lecture Notes in Computer Science, page 167-181. Springer, (2006)Some aspects of categorial semantics: sheves and glueing.. Logic Colloquium, page 281-302. Elsevier, (1985)