research
∙
01/07/2020
A Behavioural Theory of Recursive Algorithms
“What is an algorithm?” is a fundamental question of computer science. G...
share
research
∙
02/13/2019
Concurrent Computing with Shared Replicated Memory
The behavioural theory of concurrent systems states that any concurrent ...
research
∙
06/12/2017
Serialisable Multi-Level Transaction Control: A Specification and Verification
We define a programming language independent controller TaCtl for multi-...
research
∙
06/06/2017