Home

View all

Julian Rathke: Publications

Currently viewing: Functional languages with local names
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 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 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)