( en | de | ru )

 

Disambiguierung von "Hüttel, Hans"

Author of the publication

copydeleteadd this publication to your clipboard
Type Inference for Session Types in the π-calculus.

, , , , , and . WS-FM, volume 9421 of Lecture Notes in Computer Science, page 103-121. Springer, (2015)

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.

Hans Hüttel

Hans-Georg Hüttel

Wolfgang Hüttel

Günter Hüttel

Werner Hüttel

 

Other publications of authors with the same name

Transitions and Trees - An Introduction to Structural Operational Semantics.. Cambridge University Press, (2010)Silence is Golden: Branching Bisimilarity is Decidable for Context-Free Processes.. CAV, volume 575 of Lecture Notes in Computer Science, page 2-12. Springer, (1991)The Use of Static Constructs in A Modal Process Logic., and . Logic at Botik, volume 363 of Lecture Notes in Computer Science, page 163-180. Springer, (1989)A Platform for Developing and Maintaining Competences in PBL Supervision., and . SETE@ICWL, volume 10676 of Lecture Notes in Computer Science, page 297-303. Springer, (2017)Using Session Types for Reasoning About Boundedness in the Pi-Calculus.. EXPRESS/SOS, volume 255 of EPTCS, page 67-82. (2017)Typed ψ-calculi.. CONCUR, volume 6901 of Lecture Notes in Computer Science, page 265-279. Springer, (2011)Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes, and . LICS, page 376-386. IEEE Computer Society, (1991)Secrecy and Authenticity Properties of the Lightning Network Protocol., and . ICISSP, page 119-130. SCITEPRESS, (2020)Using session types for reasoning about boundedness in the π-calculus.. Acta Informatica, 57 (6): 801-827 (2020)Aliasing Models for Object Migration., , , and . Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 1353-1368. Springer, (1999)