James Riely
James Riely
Professor of Computing, DePaul University
Email confirmado em cs.depaul.edu - Página inicial
Título
Citado por
Citado por
Ano
Resource access control in systems of mobile agents
M Hennessy, J Riely
Information and Computation 173 (1), 82-120, 2002
3562002
A typed language for distributed mobile processes
J Riely, M Hennessy
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
1931998
Towards a theory of accountability and audit
R Jagadeesan, A Jeffrey, C Pitcher, J Riely
European Symposium on Research in Computer Security, 152-167, 2009
1282009
Resource access control in systems of mobile agents
M Hennessy, J Riely
Electronic Notes in Theoretical Computer Science 16 (3), 174-188, 1998
1281998
Trust and partial typing in open systems of mobile agents
J Riely, M Hennessy
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
1181999
Information flow vs. resource access in the asynchronous pi-calculus
M Hennessy, J Riely
International Colloquium on Automata, Languages, and Programming, 415-427, 2000
1062000
Specifications of a high-level conflict-free firewall policy language for multi-domain networks
B Zhang, E Al-Shaer, R Jagadeesan, J Riely, C Pitcher
Proceedings of the 12th ACM symposium on Access control models and …, 2007
1012007
Information flow vs. resource access in the asynchronous pi-calculus
M Hennessy, J Riely
ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (5), 566-591, 2002
932002
A calculus of untyped aspect-oriented programs
R Jagadeesan, A Jeffrey, J Riely
European Conference on Object-Oriented Programming, 54-73, 2003
862003
Distributed processes and location failures
J Riely, M Hennessy
International Colloquium on Automata, Languages, and Programming, 471-481, 1997
731997
Distributed processes and location failures
J Riely, M Hennessy
Theoretical Computer Science 266 (1-2), 693-735, 2001
632001
Local memory via layout randomization
R Jagadeesan, C Pitcher, J Rathke, J Riely
2011 IEEE 24th Computer Security Foundations Symposium, 161-174, 2011
592011
μABC: A Minimal Aspect Calculus
G Bruns, R Jagadeesan, A Jeffrey, J Riely
International Conference on Concurrency Theory, 209-224, 2004
592004
Testing-based abstractions for value-passing systems
R Cleaveland, J Riely
CONCUR'94: Concurrency Theory, 417-432, 1994
581994
On thin air reads towards an event structures model of relaxed memory
A Jeffrey, J Riely
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
572016
Type-safe execution of mobile agents in anonymous networks
M Hennessy, J Riely
Secure Internet Programming, 95-115, 1999
541999
Generative operational semantics for relaxed memory models
R Jagadeesan, C Pitcher, J Riely
European Symposium on Programming, 307-326, 2010
522010
Typed parametric polymorphism for aspects
R Jagadeesan, A Jeffrey, J Riely
Science of Computer Programming 63 (3), 267-296, 2006
512006
A Typed Calculus of Aspect Oriented Programs
R Jagadeesan, A Jeffrey, J Riely
Submitted for publication, 2004
242004
Open bisimulation for aspects
R Jagadeesan, C Pitcher, J Riely
Proceedings of the 6th international conference on Aspect-oriented software …, 2007
212007
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20