×
Compute Distance To:
Author ID: riely.james Recent zbMATH articles by "Riely, James"
Published as: Riely, James; Riely, J.
External Links: MGP
Documents Indexed: 24 Publications since 1997
Co-Authors: 10 Co-Authors with 24 Joint Publications
148 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 125 times in 106 Documents Cited by Year
Resource access control in systems of mobile agents. Zbl 1009.68081
Hennessy, Matthew; Riely, James
42
2002
Resource access control in systems of mobile agents. Zbl 0917.68047
Hennessy, M.; Riely, J.
16
1998
Distributed processes and location failures. Zbl 0989.68007
Riely, J.; Hennessy, M.
12
2001
Information flow vs. resource access in the asynchronous pi-calculus. (Extended abstract). Zbl 0973.68519
Hennessy, Matthew; Riely, James
12
2000
Trust and partial typing in open systems of mobile agents. Zbl 1069.68076
Riely, James; Hennessy, Matthew
12
2003
Open bisimulation for aspects. Zbl 1242.68068
Jagadeesan, Radha; Pitcher, Corin; Riely, James
4
2009
On thin air reads towards an event structures model of relaxed memory. Zbl 1392.68304
Jeffrey, Alan; Riely, James
4
2016
Distributed processes and location failures. Zbl 1401.68233
Riely, James; Hennessy, Matthew
4
1997
Typed parametric polymorphism for aspects. Zbl 1119.68048
Jagadeesan, Radha; Jeffrey, Alan; Riely, James
3
2006
Brookes is relaxed, almost! Zbl 1352.68139
Jagadeesan, Radha; Petri, Gustavo; Riely, James
3
2012
\(\mu\)ABC: A minimal aspect calculus. Zbl 1099.68586
Bruns, Glenn; Jagadeesan, Radha; Jeffrey, Alan; Riely, James
2
2004
Generative operational semantics for relaxed memory models. Zbl 1260.68050
Jagadeesan, Radha; Pitcher, Corin; Riely, James
2
2010
Between linearizability and quiescent consistency. Quantitative quiescent consistency. Zbl 1409.68079
Jagadeesan, Radha; Riely, James
2
2014
Quarantining weakness. Compositional reasoning under relaxed memory models (extended abstract). Zbl 1381.68204
Jagadeesan, Radha; Petri, Gustavo; Pitcher, Corin; Riely, James
2
2013
On thin air reads: towards an event structures model of relaxed memory. Zbl 1423.68311
Jeffrey, Alan; Riely, James
2
2019
Flattening is an improvement. (Extended abstract). Zbl 0966.68506
Riely, James; Prins, Jan
1
2000
An extensible approach to session polymorphism. Zbl 1361.68168
Goto, Matthew; Jagadeesan, Radha; Jeffrey, Alan; Pitcher, Corin; Riely, James
1
2016
On abstraction and compositionality for weak-memory linearisability. Zbl 1446.68104
Dongol, Brijesh; Jagadeesan, Radha; Riely, James; Armstrong, Alasdair
1
2018
On thin air reads: towards an event structures model of relaxed memory. Zbl 1423.68311
Jeffrey, Alan; Riely, James
2
2019
On abstraction and compositionality for weak-memory linearisability. Zbl 1446.68104
Dongol, Brijesh; Jagadeesan, Radha; Riely, James; Armstrong, Alasdair
1
2018
On thin air reads towards an event structures model of relaxed memory. Zbl 1392.68304
Jeffrey, Alan; Riely, James
4
2016
An extensible approach to session polymorphism. Zbl 1361.68168
Goto, Matthew; Jagadeesan, Radha; Jeffrey, Alan; Pitcher, Corin; Riely, James
1
2016
Between linearizability and quiescent consistency. Quantitative quiescent consistency. Zbl 1409.68079
Jagadeesan, Radha; Riely, James
2
2014
Quarantining weakness. Compositional reasoning under relaxed memory models (extended abstract). Zbl 1381.68204
Jagadeesan, Radha; Petri, Gustavo; Pitcher, Corin; Riely, James
2
2013
Brookes is relaxed, almost! Zbl 1352.68139
Jagadeesan, Radha; Petri, Gustavo; Riely, James
3
2012
Generative operational semantics for relaxed memory models. Zbl 1260.68050
Jagadeesan, Radha; Pitcher, Corin; Riely, James
2
2010
Open bisimulation for aspects. Zbl 1242.68068
Jagadeesan, Radha; Pitcher, Corin; Riely, James
4
2009
Typed parametric polymorphism for aspects. Zbl 1119.68048
Jagadeesan, Radha; Jeffrey, Alan; Riely, James
3
2006
\(\mu\)ABC: A minimal aspect calculus. Zbl 1099.68586
Bruns, Glenn; Jagadeesan, Radha; Jeffrey, Alan; Riely, James
2
2004
Trust and partial typing in open systems of mobile agents. Zbl 1069.68076
Riely, James; Hennessy, Matthew
12
2003
Resource access control in systems of mobile agents. Zbl 1009.68081
Hennessy, Matthew; Riely, James
42
2002
Distributed processes and location failures. Zbl 0989.68007
Riely, J.; Hennessy, M.
12
2001
Information flow vs. resource access in the asynchronous pi-calculus. (Extended abstract). Zbl 0973.68519
Hennessy, Matthew; Riely, James
12
2000
Flattening is an improvement. (Extended abstract). Zbl 0966.68506
Riely, James; Prins, Jan
1
2000
Resource access control in systems of mobile agents. Zbl 0917.68047
Hennessy, M.; Riely, J.
16
1998
Distributed processes and location failures. Zbl 1401.68233
Riely, James; Hennessy, Matthew
4
1997
all top 5

Cited by 163 Authors

10 Hennessy, Matthew C. B.
7 Gorla, Daniele
5 De Nicola, Rocco
5 Dezani-Ciancaglini, Mariangiola
5 Pugliese, Rosario
5 Rathke, Julian
4 Ferrari, Gian Luigi
4 Montanari, Ugo G.
3 Chothia, Tom
3 Gardner, Philippa Anne
3 Jeffrey, Alan S. A.
3 Maffeis, Sergio
3 Murawski, Andrzej S.
3 Nielson, Flemming
3 Riely, James
3 Riis Nielson, Hanne
3 Sammartino, Matteo
3 Sangiorgi, Davide
3 Yoshida, Nobuko
2 Baldan, Paolo
2 Berger, Martin J.
2 Braghin, Chiara
2 Brookes, Stephen D.
2 Bugliesi, Michele
2 Caires, Luís
2 Castagna, Giuseppe
2 Ciancia, Vincenzo
2 Ciobanu, Gabriel
2 Compagnoni, Adriana B.
2 Deng, Yuxin
2 Francalanza, Adrian
2 Ghilezan, Silvia
2 Honda, Kohei
2 Kavanagh, Ryan
2 Kobayashi, Naoki
2 Laneve, Cosimo
2 Merro, Massimo
2 Pantović, Jovanka
2 Stark, Ian
2 Tzevelekos, Nikos
2 Varacca, Daniele
2 Vieira, Hugo Torres
1 Abadi, Martín
1 Amadio, Roberto M.
1 Aman, Bogdan
1 Amtoft, Torben
1 Attali, Isabelle
1 Aziz, Benjamin
1 Ballardin, Francesco
1 Barbanera, Franco
1 Barone-Adesi, Katerina
1 Bidinger, Philippe
1 Blanchet, Bruno
1 Bonelli, Eduardo
1 Boudol, Gérard
1 Carbone, Marco
1 Caromel, Denis
1 Castellani, Ilaria
1 Cerone, Andrea
1 Chen, Chung-Hsin
1 Chen, Kung
1 Colazzo, Dario
1 Colvin, Robert J.
1 Coppo, Mario
1 Corradini, Andrea
1 Cortesi, Agostino
1 Crafa, Silvia
1 Dardha, Ornela
1 Del Aguila, Felipe Luna
1 Djoko Djoko, Simplice
1 Doko, Marko
1 Dongol, Brijesh
1 Douence, Rémi
1 Dragoni, Nicola
1 Du, Wenjie
1 Duggan, Dominic
1 Fava, Daniel Schnetzer
1 Feng, Xinyu
1 Feret, Jérôme
1 Focardi, Riccardo
1 Fournet, Cédric
1 Fradet, Pascal
1 Gadducci, Fabio
1 Garralda, Pablo
1 Gaspari, Mauro
1 Giovannetti, Elio
1 Gordon, Andrew D.
1 Gotsman, Alexey
1 Guan, Xudong
1 Guanciale, Roberto
1 Gunter, Elsa L.
1 Hamilton, Geoff W.
1 Hansen, René Rydhof
1 Henrio, Ludovic
1 Hierons, Robert Mark
1 Hillston, Jane
1 Hirschkoff, Daniel
1 Hüttel, Hans
1 Hym, Samuel
1 Igarashi, Atsushi
...and 63 more Authors

Citations by Year