Author:Michael Fisher

Publications
Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems Matt Webster, Michael Breza, Clare Dixon, Michael Fisher and Julie McCann EasyChair Preprint no. 377
On and On the Temporal Way Clare Dixon and Michael Fisher In:HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday