research
∙
08/30/2023
A Lean-Congruence Format for EP-Bisimilarity
Enabling preserving bisimilarity is a refinement of strong bisimilarity,...
share
research
∙
03/18/2022
Advanced Models for the OSPF Routing Protocol
We present two formal models for the OSPF routing protocol, designed for...
research
∙
07/31/2021
Enabling Preserving Bisimulation Equivalence
Most fairness assumptions used for verifying liveness properties are cri...
research
∙
04/29/2021
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
We investigate how different fairness assumptions affect results concern...
research
∙
04/28/2020
Formal Models of the OSPF Routing Protocol
We present three formal models of the OSPF routing protocol. The first t...
research
∙
04/28/2020
Formalising the Optimised Link State Routing Protocol
Routing protocol specifications are traditionally written in plain Engli...
research
∙
07/31/2019
A Process Algebra for Link Layer Protocols
We propose a process algebra for link layer protocols, featuring a uniqu...
research
∙
10/17/2018
Progress, Justness and Fairness
Fairness assumptions are a valuable tool when reasoning about systems. I...
research
∙
01/12/2018
Relational Characterisations of Paths
Binary relations are one of the standard ways to encode, characterise an...
research
∙
03/15/2017
Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems
This volume contains the proceedings of MARS 2017, the second workshop o...
research
∙
11/08/2015