Modular design is a key challenge for enabling large-scale reuse of hardware modules.
Unlike software, however, hardware designs correspond to physical circuits and inherit …

We present calf, ac ost-a ware l ogical f ramework for studying quantitative aspects of
functional programs. Taking inspiration from recent work that reconstructs traditional aspects …

Session types statically describe communication protocols between concurrent message-
passing processes. Unfortunately, parametric polymorphism even in its restricted prenex …

Programming digital contracts comes with unique challenges, which include (i) expressing
and enforcing protocols of interaction,(ii) controlling resource usage, and (iii) preventing the …

Non-functional properties of collective adaptive systems (CAS) are of paramount relevance
practically in any application. This paper compares two recently proposed approaches to …

We develop a session types based framework for implementing and validating rate-based
message passing systems in Internet of Things (IoT) domains. To model the indefinite …

We present a behavioural typing system for a higher-order timed calculus using session
types to model timed protocols. Behavioural typing ensures that processes in the calculus …

Session types statically prescribe bidirectional communication protocols for message-
passing processes. However, simple session types cannot specify properties beyond the …

Distributed systems are critical to reliable and scalable computing; however, they are
complicated in nature and prone to bugs. To manage this complexity, network middleware …

Many of today's message-passing systems not only require messages to be exchanged in a
certain order but also to happen at a certain\emph {time} or within a certain\emph {time …