Home

View all

Julian Rathke: Publications

Currently viewing: Semantics
A fully abstract may testing semantics for concurrent objects.
In: Theoretical Computer Science, 338:17--63.
Alan Jeffrey and Julian Rathke (2005).

Show BibTeX entryVisit the webpage of the paper
Java Jr. : Fully abstract trace semantics for a Core Java Language.
In: Proc. European Symposium on Programming ESOP. Volume 3444 of Lecture Notes in Computer Science. pp. 423--438. Published by Springer-Verlag.
Alan Jeffrey and Julian Rathke (2005).

Show BibTeX entryDownload Article (pdf-file)
A theory of bisimulation for a fragment of concurrent ML with local names.
In: Theoretical Computer Science, 323:1--48.
Alan Jeffrey and Julian Rathke (2004).

Show BibTeX entryDownload Article (pdf-file)
A fully abstract may testing semantics for concurrent objects.
In: Proc. 17th Annual Symposium on Logic in Computer Science LiCS. pp. 101--112. Published by IEEE Computer Society Press.
Alan Jeffrey and Julian Rathke (2002).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)
A theory of bisimulation for a fragment of concurrent ML with local names.
Computer Science Report Nr. 02-2002. University of Sussex.
Alan Jeffrey and Julian Rathke (2002).

Show BibTeX entryVisit the webpage of the paper
A fully abstract may testing semantics for concurrent objects.
Computer Science Report Nr. 03-2002. University of Sussex.
Alan Jeffrey and Julian Rathke (2002).

Show BibTeX entryVisit the webpage of the paper
A theory of bisimulation for a fragment of concurrent ML with local names.
In: Proc. 15th Annual Symposium on Logic in Computer Science LiCS. pp. 311--321. Published by IEEE Computer Society Press.
Alan Jeffrey and Julian Rathke (2000).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)
Towards a theory of bisimulation for local names.
Computer Science Report Nr. 02-2000. University of Sussex.
Alan Jeffrey and Julian Rathke (2000).

Show BibTeX entryVisit the webpage of the paper
Towards a theory of bisimulation for local names.
In: Proc. 14th Annual Symposium on Logic in Computer Science LiCS. pp. 56--66. Published by IEEE Computer Society Press.
Alan Jeffrey and Julian Rathke (1999).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)