E-LIB Suche - Ergebnisse für: Jagadeesan, Radha

1

(Towards a) Statistical Probabilistic Lazy Lambda Calculus:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,

Jagadeesan, Radha - p. 1073-1094 , 2023

Link: https://doi.org/10.1007/..

2

Citations for the test-of-time award from 2001:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

Abdulla, Parosh ; (chair), Manuel Bodirsky ; Grädel, Erich. - p. 1 ff. , 2021

Link: https://dl.acm.org/doi/1..

3

Pomsets with preconditions: a simple model of relaxed memor:

Jagadeesan, Radha ; Jeffrey, Alan ; Riely, James
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://doi.org/10.1145/..

4

Pomsets with preconditions: a simple model of relaxed memor:

Jagadeesan, Radha ; Jeffrey, Alan ; Riely, James
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://dl.acm.org/doi/1..

5

Modular transactions : bounding mixed races in space and..:

, In: Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming,

Dongol, Brijesh ; Jagadeesan, Radha ; Riely, James - p. 82-93 , 2019

Link: https://dl.acm.org/doi/1..

6

Game semantics for dependent types:

Vákár, Matthijs ; Jagadeesan, Radha ; Abramsky, Samson
Information and Computation. 261 (2018) - p. 401-431 , 2018

Link: https://doi.org/10.1016/..

7

Eventual Consistency for CRDTs:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Jagadeesan, Radha ; Riely, James - p. 968-995 , 2018

Link: https://doi.org/10.1007/..

8

Transactions in relaxed memory architectures:

Dongol, Brijesh ; Jagadeesan, Radha ; Riely, James
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

Link: https://doi.org/10.1145/..

9

Transactions in relaxed memory architectures:

Dongol, Brijesh ; Jagadeesan, Radha ; Riely, James
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

Link: https://dl.acm.org/doi/1..

10

An extensible approach to session polymorphism:

GOTO, MATTHEW ; JAGADEESAN, RADHA ; JEFFREY, ALAN..
Mathematical Structures in Computer Science. 26 (2015) 3 - p. 465-509 , 2015

Link: https://doi.org/10.1017/..

11

Types for relaxed memory models:

, In: Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation,

Goto, Matthew ; Jagadeesan, Radha ; Ptcher, Corin. - p. 25-38 , 2012

Link: https://dl.acm.org/doi/1..

12

Weak bisimulation is sound and complete for pCTL∗:

Desharnais, Josée ; Gupta, Vineet ; Jagadeesan, Radha.
Information and Computation. 208 (2010) 2 - p. 203-219 , 2010

Link: https://doi.org/10.1016/..

13

Game Semantics for Access Control:

Abramsky, Samson ; Jagadeesan, Radha
Electronic Notes in Theoretical Computer Science. 249 (2009) - p. 135-156 , 2009

Link: https://doi.org/10.1016/..

14

A theory of memory models:

, In: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming,

Saraswat, Vijay A. ; Jagadeesan, Radha ; Michael, Maged. - p. 161-172 , 2007

Link: https://dl.acm.org/doi/1..

15

Open bisimulation for aspects:

, In: Proceedings of the 6th international conference on Aspect-oriented software development,

Jagadeesan, Radha ; Pitcher, Corin ; Riely, James - p. 107-120 , 2007

Link: https://dl.acm.org/doi/1..