Home

View all

Julian Rathke: Publications

Currently viewing: General models
Making the unobservable, unobservable.
In: Proc. 1st Interaction and Concurrency Experience (ICE) . Published by Elsevier. To appear.
Julian Rathke and Pawel Sobocinski ( 2008 ).

Show BibTeX entry
Deriving structural labelled transitions for mobile ambients.
In: Proc. 19th International Conference on Concurrency Theory (Concur) . Volume 5201 of Lecture Notes in Computer Science. pp. 462--476. Published by Springer.
Julian Rathke and Pawel Sobocinski ( 2008 ).

Show BibTeX entryDownload Article (pdf-file)
Deconstructing behavioural theories of mobility.
In: Proc. Fifth IFIP International Conference On Theoretical Computer Science (TCS) . Volume 273 of IFIP. pp. 507--520. Published by Springer.
Julian Rathke and Pawel Sobocinski ( 2008 ).

Show BibTeX entryDownload Article (pdf-file)
Semantic Barbs and Biorthogonality.
In: Proc. Foundations of Software Science and Computation Structures FoSSaCS. Volume 4423 of Lecture Notes in Computer Science. pp. 302--316. Published by Springer-Verlag.
Julian Rathke and Vladimiro Sassone and Pawel Sobocinski (2007).

Show BibTeX entryDownload Article (pdf-file)
Resource based models for asynchrony.
In: Proc. Foundations of Software Science and Computation Structures FoSSaCS. pp. 273--287. Published by Springer-Verlag.
Julian Rathke (1998).

Show BibTeX entryDownload ArticleDownload Article (pdf-file)