( en | de | ru )

 

Disambiguation of "Hüttel, Hans"

Author of the publication

copydeleteadd this publication to your clipboard
Foundations of Session Types and Behavioural Contracts.

, , , , , , , , , , , and . ACM Comput. Surv., 49 (1): 3:1-3:36 (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.

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)Broadcast and aggregation in BBC., and . PLACES, volume 203 of EPTCS, page 15-28. (2015)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)Inferring Types for Parallel Programs., , and . PLACES@ETAPS, volume 246 of EPTCS, page 28-36. (2017)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)Context-Free Session Types for Applied Pi-Calculus., , , and . EXPRESS/SOS, volume 276 of EPTCS, page 3-18. (2018)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)Type Inference for Correspondence Types., , and . SecCo@CONCUR, volume 242 of Electronic Notes in Theoretical Computer Science, page 21-36. Elsevier, (2008)