Searching for authors named Julian Rathke – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract)
- …Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract) Julian Rathke Dept…
- Cited by 1 (0 self) – Add To MetaCart
-
Deconstructing behavioural theories of mobility
- …Deconstructing behavioural theories of mobility ⋆ Julian Rathke and Pawe̷l Sobociński ECS…
- Cited by 1 (1 self) – Add To MetaCart
-
Deriving structural labelled transitions for mobile ambients
- …Deriving structural labelled transitions for mobile ambients Julian Rathke and Pawe̷l Sobociński…
- Cited by 1 (1 self) – Add To MetaCart
-
Symbolic Techniques for Value-passing Calculi
- …Symbolic Techniques for Value-passing Calculi Julian Rathke Submitted for the degree of D. Phil…
- Cited by 8 (2 self) – Add To MetaCart
-
Typed Behavioural Equivalences for Processes in the Presence of Subtyping
- … of subtyping Matthew Hennessy and Julian Rathke COGS, University of Sussex, Brighton BN1 9QH UK email…
- Cited by 26 (8 self) – Add To MetaCart
-
If" (abstract
- … of Computer Science, Telecommunications and Information Systems DePaul University Chicago, US Abstract Julian…
- Cited by 1 (0 self) – Add To MetaCart
-
Contextual equivalence for higher-order π-calculus revisited
- … JEFFREY a AND JULIAN RATHKE b a Bell Labs, Lucent Technologies, and CTI, DePaul University e-mail address…
- Cited by 1 (0 self) – Add To MetaCart
-
Full abstraction for polymorphic pi-calculus. Online edition with proofs
- …Full Abstraction for Polymorphic Pi-Calculus Alan Jeffrey 1,2,⋆ and Julian Rathke 3 1 Bell Labs…
- Cited by 1 (0 self) – Add To MetaCart
-
Java Jr.: A fully abstract trace semantics for a core Java language
- …Java Jr.: Fully Abstract Trace Semantics for a Core Java Language Alan Jeffrey 1,2,⋆ and Julian…
- Cited by 14 (0 self) – Add To MetaCart
-
A theory of bisimulation for a fragment of concurrent ML with local names
- …Paul University 243 South Wabash Ave Chicago IL 60604, USA ajeffrey@(email omitted); Julian Rathke COGS, University…
- Cited by 14 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
