( en | de | ru )

 

Disambiguation of "Schürmann, Carsten"

Author of the publication

copydeleteadd this publication to your clipboard
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.

, , , , and . CONCUR, volume 59 of LIPIcs, page 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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.

Josef Schürmann

Elisabeth Schürmann

Britta Schürmann

Heiko Schürmann

Erich Schürmann

 

Other publications of authors with the same name

Linear Logical Voting Protocols., and . VoteID, volume 7187 of Lecture Notes in Computer Science, page 53-70. Springer, (2011)Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.. FLOPS, volume 2998 of Lecture Notes in Computer Science, page 22-23. Springer, (2004)A Coverage Checking Algorithm for LF., and . TPHOLs, volume 2758 of Lecture Notes in Computer Science, page 120-135. Springer, (2003)Primitive Recursion for Higher-Order Abstract Syntax., , and . TLCA, volume 1210 of Lecture Notes in Computer Science, page 147-163. Springer, (1997)Trust in internet election observing the Norwegian decryption and counting ceremony., , and . EVOTE, page 1-8. IEEE, (2014)Choreographies, logically., , and . Distributed Comput., 31 (1): 51-67 (2018)A Declaration of Software Independence., , , , and . Protocols, Strands, and Logic, volume 13066 of Lecture Notes in Computer Science, page 198-217. Springer, (2021)Rounding Considered Harmful.. E-Vote-ID, volume 11143 of Lecture Notes in Computer Science, page 189-202. Springer, (2018)Security Protocols as Choreographies., , , , and . Protocols, Strands, and Logic, volume 13066 of Lecture Notes in Computer Science, page 98-111. Springer, (2021)Representing reductions of NP-complete problems in logical frameworks: a case study., and . MERLIN, ACM, (2003)