Home

View all

Julian Rathke: Publications

Currently viewing: Value-passing Calculi
Unique fixpoint induction for message-passing process calculi.
In: Science of Computer Programming, 41:241--275.
Matthew Hennessy and Huimin Lin and Julian Rathke (2001).

Show BibTeX entryDownload Article
Bisimulations for a calculus of broadcasting systems.
In: Theoretical Computer Science, 200:225--260.
Matthew Hennessy and Julian Rathke (1998).

Show BibTeX entryDownload Article
Unique fixpoint induction for value-passing processes.
In: Proc. 12th Annual Symposium on Logic in Computer Science LiCS. pp. 140--148. Published by IEEE Computer Society Press.
Julian Rathke (1997).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)
Local model checking for value-passing processes.
In: Proc. International Symposium on Theoretical Aspects of Computer Software, TACS. Published by Springer-Verlag.
Julian Rathke and Matthew Hennessy (1997).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)
Symbolic techniques for value-passing calculi.
PhD thesis, University of Sussex.
Julian Rathke (1997).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)Visit the webpage of the paper
Local Model Checking for a Value-Based Modal mu-Calculus.
Computer Science Report Nr. 5-96. University of Sussex.
Julian Rathke and Matthew Hennessy (1996).

Show BibTeX entryVisit the webpage of the paper
Bisimulations for a Calculus of Broadcasting Systems.
In: Proc. Conference on Concurrency Theory CONCUR. Volume 962 of Lecture Notes in Computer Science. pp. 486--500. Published by Springer-Verlag.
Matthew Hennessy and Julian Rathke (1995).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)
Strong Bisimulations for a Calculus of Broadcasting Systems.
Computer Science Report Nr. 1-95. University of Sussex.
Matthew Hennessy and Julian Rathke (1995).

Show BibTeX entryVisit the webpage of the paper
Weak Bisimulations for a Calculus of Broadcasting Systems.
Computer Science Report Nr. 3-95. University of Sussex.
Matthew Hennessy and Julian Rathke (1995).

Show BibTeX entryVisit the webpage of the paper