Articles

21 December 2020 /
Probabilistic Process Algebra and Strategic Interleaving
21 December 2020 /
Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation
21 December 2020 /
Instruction Sequence Faults with Formal Change Justification
20 August 2020 /
A Complete Axiomatisation for Probabilistic Trace Equivalence
20 August 2020
A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental Evaluation
20 August 2020
An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs
20 August 2020
Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
30 December 2019
Identifying and Querying Regularly Visited Places
30 December 2019
Generalising KAT to Verify Weighted Computations
30 December 2019
Program Algebra for Turing-Machine Programs