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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Julian Rathke