In the theory of concurrent systems, she is known for introducing the concept of action refinement, an analogue of Niklaus Wirth's concept of stepwise refinement in the development of software systems, together with Rob van Glabbeek. She is also one of the developers of Arden2ByteCode, a compiler for the Arden syntax for representing medical knowledge.
