James R. Russell
James R. Russell
Other namesJames Russell, JR Russell, James Russel
Verified email at
Cited by
Cited by
The Jalapeno virtual machine
B Alpern, CR Attanasio, JJ Barton, MG Burke, P Cheng, JD Choi, ...
IBM Systems Journal 39 (1), 211-238, 2000
A constructive proof of Higman's lemma
CR Murthy, JR Russell
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
Full abstraction for nondeterministic dataflow networks
JR Russell
Cornell University, 1989
System and method for debugging distributed programs
MS Meier, KL Miller, DP Pazel, JR Rao, JR Russell
US Patent 5,933,639, 1999
The Concert signature representation: IDL as intermediate language
JS Auerbach, JR Russell
ACM SigPLAN Notices 29 (8), 1-12, 1994
Optimistic failure recovery for very large networks
A Lowry, JR Russell, AP Goldberg
Proceedings Tenth Symposium on Reliable Distributed Systems, 66, 67, 68, 69 …, 1991
Experiences with building distributed debuggers
MS Meier, KL Miller, DP Pazel, JR Rao, JR Russell
Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, 70-79, 1996
High-level language support for programming distributed systems.
JS Auerbach, DF Bacon, AP Goldberg, GS Goldszmidt, MT Kennedy, ...
ICCL, 320-330, 1992
Concert/C: A Language for Distributed Programming.
JS Auerbach, AP Goldberg, GS Goldszmidt, AS Gopal, MT Kennedy, ...
USENIX Winter, 79-96, 1994
On oraclizable networks and Kahn's principle
JR Russell
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
Concert/C: Supporting distributed programming with language extensions and a portable multiprotocol runtime
JS Auerbach, AS Gopal, JR Russell, MT Kennedy
14th International Conference on Distributed Computing Systems, 152-159, 1994
Concert/C specification: Definition of a language for distributed C programming
J Auerbach, AP Goldberg, G Goldszmidt, A Gopal, MT Kennedy, ...
IBM TJ Watson Research Center, 1993
Interprocess communication in concert
Thomas J. Watson IBM Research Center. Research Division, J Auerbach, ...
A category-theoretic semantics for unbounded indeterminacy
P Panangaden, JR Russell
Proceedings of the Fifth International Conference on Mathematical …, 1989
A checkable interface language for pointer-based structures
JR Russell, RE Strom, DM Yellin
Proceedings of the workshop on Interface definition languages, 59-73, 1994
Full Abstraction and Fixed-Point Principles for Indeterminate Computation
JR Russell
Cornell University, 1990
Concert/C: A Language for Distributed C Programming
A Goldberg, GS Goldszmidt, ASGMT Kennedy, JR Rao, JR Russell
IBM TJ Watson Research Center, Yorktown Heights, New York, 1993
Components on the Internet (panel)
J Bonar, N Lehrer, K Looney, R Schnier, J Russel, T Selker, S Nickolas
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented …, 1996
Defining fair merge as a colimit: Towards a fixed-point theory for indeterminate dataflow
DB Benson, P Panangaden, JR Russell
Semantics for Concurrency, Leicester, Workshops in Computing, 175-184, 1990
A category-theoretic semantics for unbounded indeterminacy
P Panangaden, JR Russell
Cornell University, 1988
The system can't perform the operation now. Try again later.
Articles 1–20