Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation - Gerjan Stokkink; Mark Timmer; Mariëlle Stoelinga (MBT, 2012)

Divergent Quiescent Transition Systems. - Willem Gerrit Johan Stokkink; Mark Timmer; Mariëlle Stoelinga (TAP@STAF, 2013)