×

zbMATH — the first resource for mathematics

Riely, James

Compute Distance To:
Author ID: riely.james Recent zbMATH articles by "Riely, James"
Published as: Riely, J.; Riely, James
External Links: MGP
Documents Indexed: 24 Publications since 1997

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 136 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.
26
1998
Trust and partial typing in open systems of mobile agents. Zbl 1069.68076
Riely, James; Hennessy, Matthew
17
2003
Information flow vs. resource access in the asynchronous pi-calculus. (Extended abstract). Zbl 0973.68519
Hennessy, Matthew; Riely, James
16
2000
Distributed processes and location failures. Zbl 0989.68007
Riely, J.; Hennessy, M.
12
2001
Open bisimulation for aspects. Zbl 1242.68068
Jagadeesan, Radha; Pitcher, Corin; Riely, James
3
2009
Typed parametric polymorphism for aspects. Zbl 1119.68048
Jagadeesan, Radha; Jeffrey, Alan; Riely, James
3
2006
Distributed processes and location failures. Zbl 1401.68233
Riely, James; Hennessy, Matthew
3
1997
On thin air reads towards an event structures model of relaxed memory. Zbl 1392.68304
Jeffrey, Alan; Riely, James
2
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
Generative operational semantics for relaxed memory models. Zbl 1260.68050
Jagadeesan, Radha; Pitcher, Corin; Riely, James
2
2010
\(\mu\)ABC: A minimal aspect calculus. Zbl 1099.68586
Bruns, Glenn; Jagadeesan, Radha; Jeffrey, Alan; Riely, James
2
2004
On thin air reads: towards an event structures model of relaxed memory. Zbl 1423.68311
Jeffrey, Alan; Riely, James
1
2019
On abstraction and compositionality for weak-memory linearisability. Zbl 1446.68104
Dongol, Brijesh; Jagadeesan, Radha; Riely, James; Armstrong, Alasdair
1
2018
Brookes is relaxed, almost! Zbl 1352.68139
Jagadeesan, Radha; Petri, Gustavo; Riely, James
1
2012
Flattening is an improvement. (Extended abstract). Zbl 0966.68506
Riely, James; Prins, Jan
1
2000
On thin air reads: towards an event structures model of relaxed memory. Zbl 1423.68311
Jeffrey, Alan; Riely, James
1
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
2
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
1
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
3
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
17
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
16
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.
26
1998
Distributed processes and location failures. Zbl 1401.68233
Riely, James; Hennessy, Matthew
3
1997
all top 5

Cited by 162 Authors

11 Hennessy, Matthew C. B.
6 Dezani-Ciancaglini, Mariangiola
6 Gorla, Daniele
5 De Nicola, Rocco
5 Pugliese, Rosario
5 Rathke, Julian
4 Ferrari, Gian Luigi
4 Gordon, Andrew D.
4 Montanari, Ugo G.
4 Nielson, Flemming
4 Riely, James
4 Riis Nielson, Hanne
3 Cardelli, Luca
3 Chothia, Tom
3 Gardner, Philippa Anne
3 Ghilezan, Silvia
3 Jeffrey, Alan S. A.
3 Maffeis, Sergio
3 Pantović, Jovanka
3 Sammartino, Matteo
3 Sangiorgi, Davide
3 Vieira, Hugo Torres
3 Yoshida, Nobuko
2 Berger, Martin J.
2 Braghin, Chiara
2 Bugliesi, Michele
2 Caires, Luís
2 Castagna, Giuseppe
2 Castellani, Ilaria
2 Ciancia, Vincenzo
2 Compagnoni, Adriana B.
2 Crafa, Silvia
2 Deng, Yuxin
2 Francalanza, Adrian
2 Ghelli, Giorgio
2 Honda, Kohei
2 Kobayashi, Naoki
2 Laneve, Cosimo
2 Merro, Massimo
2 Murawski, Andrzej S.
2 Stark, Ian
2 Tzevelekos, Nikos
2 Varacca, Daniele
1 Abadi, Martín
1 Amadio, Roberto M.
1 Amtoft, Torben
1 Attali, Isabelle
1 Aziz, Benjamin
1 Ballardin, Francesco
1 Barbanera, Franco
1 Barone-Adesi, Katerina
1 Bartoletti, Massimo
1 Bidinger, Philippe
1 Blanchet, Bruno
1 Bodei, Chiara
1 Bonelli, Eduardo
1 Boudol, Gérard
1 Brookes, Stephen D.
1 Carbone, Marco
1 Caromel, Denis
1 Cerone, Andrea
1 Chen, Chung-Hsin
1 Chen, Kung
1 Ciobanu, Gabriel
1 Colazzo, Dario
1 Colvin, Robert J.
1 Coppo, Mario
1 Cortesi, Agostino
1 Degano, Pierpaolo
1 Del Aguila, Felipe Luna
1 Deniélou, Pierre-Malo
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 S.
1 Feng, Xinyu
1 Feret, Jérôme
1 Focardi, Riccardo
1 Fournet, Cédric
1 Fradet, Pascal
1 Garralda, Pablo
1 Gaspari, Mauro
1 Giovannetti, Elio
1 Gotsman, Alexey
1 Gray, David F.
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 Hirschkoff, Daniel
1 Hüttel, Hans
1 Hym, Samuel
1 Igarashi, Atsushi
...and 62 more Authors

Citations by Year