Hans H\"uttel (Department of Computer Science

Identifiers

No identifiers captured yet.

Papers (4)

1. Context-Free Session Types for Applied Pi-Calculus cs.LO · 2018 · author #3
2. Using Session Types for Reasoning About Boundedness in the Pi-Calculus cs.LO · 2017 · author #1
3. Inferring Types for Parallel Programs cs.PL · 2017 · author #7
4. Broadcast and aggregation in BBC cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Aalborg University) 3 shared papers
• Aalborg University 1 shared papers
• Denmark) 1 shared papers
• Faculty of Sciences 1 shared papers
• Francisco Martins (LaSIGE 1 shared papers
• Jens Aagaard (Department of Computer Science 1 shared papers
• Mathias Jakobsen (Department of Computer Science 1 shared papers
• Mikkel Kettunen (Department of Computer Science 1 shared papers
• Nuno Pratas (Department of Electronic Systems 1 shared papers
• University of Lisbon) 1 shared papers
• Vasco Thudichum Vasconcelos (Lasige 1 shared papers