Publications
37 publications
Page 2 of 4
Julian Rathke & Alan Jeffrey,
2008, Theoretical Computer Science, 390(2-3), 171-196
Type: article
Julian Rathke & Pawel Sobocinski,
2008
Type: conference
Julian Rathke & Pawel Sobocinski,
2008
Type: conference
Nicholas Nguyen & Julian Rathke,
2006
Type: conference
Matthew Hennessy, Nobuko Yoshida & Julian Rathke,
2005, Acta Informatica, 42(4), 227-290
Type: article
Alan Jeffrey & Julian Rathke,
2005, Logical Methods in Computer Science, 1(1)
Type: article
Alan Jeffrey, Julian Rathke & B Pierce,
2005, Theoretical Computer Science, 338(1-3), 17-63
Type: article