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

We study the problem of parametric parallel complexity analysis of concurrent, message-
passing programs. To make the analysis local and compositional, it is based on a …

Workflow analysis usually requires domain-specific knowledge from the domain experts,
making it a relatively manual process. In addition, workflows often cross organisational …

This article presents parallel cost analysis, a static cost analysis targeting to over-
approximate the cost of parallel execution in distributed systems. In contrast to the standard …

Type systems as a technique to analyse or control programs have been extensively studied
for functional programming languages. In particular, some systems allow one to extract from …

We study the problem of automatically computing the time complexity of concurrent object-
oriented programs. To determine this complexity we use intermediate abstract descriptions …

This paper proposes a technique for estimating the computational time of programs in an
actor model, which is intended to serve as a compiler target of a wide variety of actor-based …

Cross-organisational workflows involve multiple concurrently running workflows across
organisations, and are in general more complex and unpredictable than single individual …

We address the problem of analysing the complexity of concurrent programs written in Pi-
calculus. We are interested in parallel complexity, or span, understood as the execution time …

By following a rely-guarantee style of reasoning, we present novel termination and cost
analyses for concurrent programs that, in order to prove termination or infer the cost of a …