Home

View all

Julian Rathke: Publications

Currently viewing: Object-Oriented languages
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 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 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