A Process Algebraic View of Linear Logic. - Padmanabhan Krishnan; Jane Hopkins (DMTCS, 1996)

SimJAVA - A Framework for Modeling Queueing Networks in Java. - Wolfgang Kreutzer; Jane Hopkins; Marcel van Mierlo (WSC, 1997)