PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Jagadeesan, Radha"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract).

, und . AMAST, Volume 936 von Lecture Notes in Computer Science, Seite 277-291. Springer, (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keerthi Radhakrishnan University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Typed parametric polymorphism for aspects., , und . Sci. Comput. Program., 63 (3): 267-296 (2006)Metrics for labelled Markov processes., , , und . Theor. Comput. Sci., 318 (3): 323-354 (2004)Three-Valued Abstractions of Games: Uncertainty, but with Precision., , und . LICS, Seite 170-179. IEEE Computer Society, (2004)Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events., , , , und . ICCL, Seite 58-67. IEEE Computer Society, (1998)LICS 2001 special issue., , , und . ACM Trans. Comput. Log., 4 (3): 295 (2003)The Triveni project., , und . ACM SIGSOFT Software Engineering Notes, 25 (1): 59 (2000)Lambda-RBAC: Programming with Role-Based Access Control, , , und . CoRR, (2007)Approximate reasoning for real-time probabilistic processes, , und . CoRR, (2005)Game Semantics for Access Control., und . CoRR, (2014)L-domains and Lossless Powerdomains.. Mathematical Foundations of Programming Semantics, Volume 442 von Lecture Notes in Computer Science, Seite 364-372. Springer, (1989)