Person:276478

Available identifiers

zbMath Open rathke.julianMaRDI QIDQ276478

List of research outcomes

Publication	Date of Publication	Type
Preemptive type checking	2018-11-01	Paper
Contextual equivalence for higher-order \(\pi\)-calculus revisited	2016-05-03	Paper
Compositional Reachability in Petri Nets	2015-10-28	Paper
Making the Unobservable, Unobservable	2014-06-27	Paper
Preemptive Type Checking in Dynamically Typed Languages	2013-10-04	Paper
Typed behavioural equivalences for processes in the presence of subtyping	2013-07-24	Paper
The Lax Braided Structure of Streaming I/O	2012-09-18	Paper
Permission-Based Separation Logic for Message-Passing Concurrency	2012-04-02	Paper
Deriving structural labelled transitions for mobile ambients	2010-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q3397630	2009-09-22	Paper
Deriving Structural Labelled Transitions for Mobile Ambients	2008-11-25	Paper
Full abstraction for polymorphic \(\pi \)-calculus	2008-03-05	Paper
Contextual equivalence for higher-order pi-calculus revisited	2007-10-11	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
Semantic Barbs and Biorthogonality	2007-09-07	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
safeDpi: a language for controlling mobile code	2006-01-10	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
Programming Languages and Systems	2005-09-13	Paper
A fully abstract may testing semantics for concurrent objects	2005-06-30	Paper
Typed behavioural equivalences for processes in the presence of subtyping	2005-02-28	Paper
Towards a behavioural theory of access and mobility control in distributed systems	2004-10-04	Paper
A theory of bisimulation for a fragment of concurrent ML with local names	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4417865	2003-07-30	Paper
Bisimulations for a calculus of broadcasting systems	1999-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4364391	1997-11-17	Paper

Research outcomes over time

This page was built for person: Julian Rathke