Publications
37 publications
Page 3 of 4
Alan Jeffrey,
Julian Rathke,
& B Pierce
, 2005
, Theoretical Computer Science
, 338 (1-3) , 17--63
Type: article
Alan Jeffrey,
& Julian Rathke
, 2004
, Theoretical Computer Science
, 323 (1-3) , 1--48
Type: article
Matthew Hennessy,
& Julian Rathke
, 2004
, Mathematical Structures in Computer Science
, 14 (5) , 651--684
Type: article
Matthew Hennessy,
Julian Rathke,
& Nobuko Yoshida
, 2004
Type: book
Matthew Hennessy,
Massimo Merro,
Julian Rathke,
, 2004
, Theoretical Computer Science
, 322 (3) , 615--669
Type: article
Matthew Hennessy,
Julian Rathke,
& Nobuko Yoshida
, 2003
Type: report
Matthew Hennessy,
Massimo Merro,
& Julian Rathke
, 2003
Type: book
Alan Jeffrey,
& Julian Rathke
, 2003
Type: book
Alan Jeffrey,
& Julian Rathke
, 2002
Type: report
Pagination
-
- 1
- 2
- 3
- 4