Showing cs.LOShow all
3 papers · 1 filter
cs.LO2022
A Generic Type System for Higher-Order -calculi
Alex Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel +1
The Higher-Order -calculus framework (HO) is a generalisation of many first- and higher-order extensions of the -calculus. It was proposed by Parrow et al. who showed that…
cs.LO2018
Context-Free Session Types for Applied Pi-Calculus
Jens Aagaard, Hans Hüttel, Mathias Jakobsen +1
We present a binary session type system using context-free session types to a version of the applied pi-calculus of Abadi et. al. where only base terms, constants and channels can…
cs.LO2016
Broadcast and aggregation in BBC
Hans Hüttel, Nuno Pratas
In distributed systems, where multi-party communication is essential, two communication paradigms are ever present: (1) one-to-many, commonly denoted as broadcast; and (2) many-to-…