research
∙
09/06/2022
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus
This paper shows how we can make use of an asynchronous transition syste...
share
research
∙
12/03/2020
Privacy Labelling and the Story of Princess Privacy and the Seven Helpers
Privacy is currently in 'distress' and in need of 'rescue', much like pr...
research
∙
11/09/2020
Domain Semirings United
Domain operations on semirings have been axiomatised in two different wa...
research
∙
05/17/2020
Studying the Transfer of Biases from Programmers to Programs
It is generally agreed that one origin of machine bias is resulting from...
research
∙
12/05/2018
Sculptures in Concurrency
We give a formalization of Pratt's intuitive sculpting process for highe...
research
∙
08/28/2018
InfoInternet for Education in the Global South: A Study of Applications Enabled by Free Information-only Internet Access in Technologically Disadvantaged Areas (authors' versio
This paper summarises our work on studying educational applications enab...
research
∙
07/20/2018