We are studying formal methods concerning parallel and reactive systems. A lot of the work is centered around Action Systems for which the Refinement Calculus provides a formalisation of the stepwise development paradigm.
Publications are available via the home pages of the researchers.
This work has resulted in a book edited by Sekerinski and Sere. We are partners of the Matisse project which is concerned with the use of formal methods in systems engineering. We are investigating applications of action systems in hardware design .