×

zbMATH — the first resource for mathematics

Rathke, Julian

Compute Distance To:
Author ID: rathke.julian Recent zbMATH articles by "Rathke, Julian"
Published as: Rathke, Julian; Rathke, J.
Documents Indexed: 29 Publications since 1997, including 1 Book

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 130 times in 99 Documents Cited by Year
Deriving structural labelled transitions for mobile ambients. Zbl 1160.68474
Rathke, Julian; Sobociński, Paweł
13
2008
A theory of bisimulation for a fragment of concurrent ML with local names. Zbl 1105.68354
Jeffrey, Alan; Rathke, Julian
12
2004
Contextual equivalence for higher-order pi-calculus revisited. Zbl 1125.68084
Jeffrey, Alan S. A.; Rathke, Julian
11
2005
Bisimulations for a calculus of broadcasting systems. Zbl 0915.68065
Hennessy, M.; Rathke, J.
11
1998
Typed behavioural equivalences for processes in the presence of subtyping. Zbl 1093.68062
Henessy, Matthew; Rathke, Julian
11
2004
Java Jr.: Fully abstract trace semantics for a core Java language. Zbl 1108.68349
Jeffrey, Alan; Rathke, Julian
10
2005
Towards a behavioural theory of access and mobility control in distributed systems. Zbl 1071.68009
Hennessy, Matthew; Merro, Massimo; Rathke, Julian
10
2004
Semantic barbs and biorthogonality. Zbl 1195.68073
Rathke, Julian; Sassone, Vladimiro; Sobociński, Paweł
8
2007
A fully abstract may testing semantics for concurrent objects. Zbl 1078.68107
Jeffrey, Alan; Rathke, Julian
8
2005
safeDpi: a language for controlling mobile code. Zbl 1081.68003
Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko
8
2005
Contextual equivalence for higher-order \(\pi\)-calculus revisited. Zbl 1337.68185
Jeffrey, Alan; Rathke, Julian
4
2003
Typed behavioural equivalences for processes in the presence of subtyping. Zbl 1268.68127
Hennessy, Matthew; Rathke, Julian
4
2002
Making the unobservable, unobservable. Zbl 1291.68290
Rathke, Julian; Sobociński, Paweł
3
2009
Compositional reachability in Petri nets. Zbl 1448.68351
Rathke, Julian; Sobociński, Paweł; Stephens, Owen
3
2014
Unique fixpoint induction for message-passing process calculi. Zbl 0998.68089
Hennessy, M.; Lin, H.; Rathke, J.
3
2001
Full abstraction for polymorphic pi-calculus. Zbl 1119.68128
Jeffrey, Alan; Rathke, Julian
2
2005
Deriving structural labelled transitions for mobile ambients. Zbl 1214.68251
Rathke, Julian; Sobociński, Paweł
2
2010
Proof methodologies for behavioural equivalence in DPI. Zbl 1169.68538
Ciaffaglione, Alberto; Hennessy, Matthew; Rathke, Julian
2
2005
Towards a behavioural theory of access and mobility control in distributed systems. Zbl 1029.68109
Hennessy, Matthew; Merro, Massimo; Rathke, Julian
2
2003
Local model checking for value-passing processes. (Extended abstract). Zbl 0885.03021
Rathke, J.; Hennessy, M.
1
1997
SafeDpi: A language for controlling mobile code (extended abstract). Zbl 1126.68501
Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko
1
2004
Preemptive type checking in dynamically typed languages. Zbl 1405.68030
Grech, Neville; Rathke, Julian; Fischer, Bernd
1
2013
Compositional reachability in Petri nets. Zbl 1448.68351
Rathke, Julian; Sobociński, Paweł; Stephens, Owen
3
2014
Preemptive type checking in dynamically typed languages. Zbl 1405.68030
Grech, Neville; Rathke, Julian; Fischer, Bernd
1
2013
Deriving structural labelled transitions for mobile ambients. Zbl 1214.68251
Rathke, Julian; Sobociński, Paweł
2
2010
Making the unobservable, unobservable. Zbl 1291.68290
Rathke, Julian; Sobociński, Paweł
3
2009
Deriving structural labelled transitions for mobile ambients. Zbl 1160.68474
Rathke, Julian; Sobociński, Paweł
13
2008
Semantic barbs and biorthogonality. Zbl 1195.68073
Rathke, Julian; Sassone, Vladimiro; Sobociński, Paweł
8
2007
Contextual equivalence for higher-order pi-calculus revisited. Zbl 1125.68084
Jeffrey, Alan S. A.; Rathke, Julian
11
2005
Java Jr.: Fully abstract trace semantics for a core Java language. Zbl 1108.68349
Jeffrey, Alan; Rathke, Julian
10
2005
A fully abstract may testing semantics for concurrent objects. Zbl 1078.68107
Jeffrey, Alan; Rathke, Julian
8
2005
safeDpi: a language for controlling mobile code. Zbl 1081.68003
Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko
8
2005
Full abstraction for polymorphic pi-calculus. Zbl 1119.68128
Jeffrey, Alan; Rathke, Julian
2
2005
Proof methodologies for behavioural equivalence in DPI. Zbl 1169.68538
Ciaffaglione, Alberto; Hennessy, Matthew; Rathke, Julian
2
2005
A theory of bisimulation for a fragment of concurrent ML with local names. Zbl 1105.68354
Jeffrey, Alan; Rathke, Julian
12
2004
Typed behavioural equivalences for processes in the presence of subtyping. Zbl 1093.68062
Henessy, Matthew; Rathke, Julian
11
2004
Towards a behavioural theory of access and mobility control in distributed systems. Zbl 1071.68009
Hennessy, Matthew; Merro, Massimo; Rathke, Julian
10
2004
SafeDpi: A language for controlling mobile code (extended abstract). Zbl 1126.68501
Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko
1
2004
Contextual equivalence for higher-order \(\pi\)-calculus revisited. Zbl 1337.68185
Jeffrey, Alan; Rathke, Julian
4
2003
Towards a behavioural theory of access and mobility control in distributed systems. Zbl 1029.68109
Hennessy, Matthew; Merro, Massimo; Rathke, Julian
2
2003
Typed behavioural equivalences for processes in the presence of subtyping. Zbl 1268.68127
Hennessy, Matthew; Rathke, Julian
4
2002
Unique fixpoint induction for message-passing process calculi. Zbl 0998.68089
Hennessy, M.; Lin, H.; Rathke, J.
3
2001
Bisimulations for a calculus of broadcasting systems. Zbl 0915.68065
Hennessy, M.; Rathke, J.
11
1998
Local model checking for value-passing processes. (Extended abstract). Zbl 0885.03021
Rathke, J.; Hennessy, M.
1
1997
all top 5

Cited by 129 Authors

13 Hennessy, Matthew C. B.
10 Rathke, Julian
8 Bonchi, Filippo
7 Gadducci, Fabio
5 Monreale, Giacoma Valentina
5 Sobociński, Paweł
5 Yoshida, Nobuko
4 Deng, Yuxin
4 Dezani-Ciancaglini, Mariangiola
4 Din, Crystal Chang
4 Gorla, Daniele
4 Merro, Massimo
4 Tzevelekos, Nikos
3 Amadio, Roberto M.
3 Jeffrey, Alan S. A.
3 Koutavas, Vasileios
3 Owe, Olaf
3 Pérez, Jorge A.
3 Sangiorgi, Davide
3 Schmitt, Alan
2 Ábrahám, Erika
2 Baldan, Paolo
2 Bugliesi, Michele
2 Compagnoni, Adriana B.
2 Crafa, Silvia
2 Francalanza, Adrian
2 Fu, Yuxi
2 Gardner, Philippa Anne
2 Ghilezan, Silvia
2 Grüner, Andreas
2 Hym, Samuel
2 Lenglet, Sergueï
2 Madelaine, Eric
2 Maffeis, Sergio
2 Murawski, Andrzej S.
2 Pantović, Jovanka
2 Pous, Damien
2 Prasad, K. V. S. N.
2 Stefani, Jean-Bernard
2 Steffen, Martin
2 Sumii, Eijiro
1 Aceto, Luca
1 Alrahman, Yehia Abd
1 Bacci, Giorgio
1 Baez, John C.
1 Ballardin, Francesco
1 Barbanera, Franco
1 Berger, Martin J.
1 Bidinger, Philippe
1 Bliudze, Simon
1 Bonelli, Eduardo
1 Borgström, Johannes
1 Briais, Sébastien
1 Bubel, Richard
1 Cai, Xiaojuan
1 Caires, Luís
1 Cao, Zining
1 Castagna, Giuseppe
1 Cervesato, Iliano
1 Chai, Mingren
1 Chantawibul, Apiwat
1 Clarke, Dave
1 Colazzo, Dario
1 Colvin, Robert J.
1 Cristescu, Ioana Domnina
1 De Nicola, Rocco
1 Dovland, Johan
1 Filipović, Ivana
1 Fischer, Bernd
1 Garralda, Pablo
1 Gaur, Manish
1 Ghica, Dan R.
1 Gordon, Andrew D.
1 Goriac, Eugen-Ioan
1 Grabe, Immo
1 Grech, Neville
1 Groote, Jan Friso
1 Gunter, Elsa L.
1 Hähnle, Reiner
1 Henrio, Ludovic
1 Hirschkoff, Daniel
1 Honda, Kohei
1 Hou, Zechen
1 Ingólfsdóttir, Anna
1 Jakšić, Svetlana
1 Jiang, Ying
1 Johnsen, Einar Broch
1 König, Barbara
1 Kouzapas, Dimitrios
1 Lanese, Ivan
1 Levy, Paul Blain
1 Long, Huan
1 Macedonio, Damiano
1 Master, Jade
1 Miculan, Marino
1 Montanari, Ugo G.
1 Nakata, Keiko
1 Nestmann, Uwe
1 Niehren, Joachim
1 O’Hearn, Peter W.
...and 29 more Authors

Citations by Year