Formal Methods in Distributed Systems

Formal Methods in Distributed Systems

Howard Bowman

A research interest of mine is the design of formally based techniques that can be applied to the specification and verification of distributed systems. Modern distributed systems incorporate a number of elements which were not present in the early generations of distributed systems, e.g. object based modelling, mobile processes, viewpoints modelling, multimedia, quality of service and real-time in general. Developing fully expressive formal models for these aspects is a significant research task.

I have worked with a number of people, including Lynne Blair, Gordon Blair, Eerke Boiten, Charles Briscoe-Smith, Jeremy Bryans, Amanda Chetwynd, John Derrick, Peter Linington, Maarten Steen and Ben Strulo, in addressing a number of these topics:-

Back to Howard Bowman's home page.

Last modified December 1999.