( en | de | ru )

 

Disambiguierung von "Jagadeesan, Radha"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Truly concurrent constraint programming.

, , und . Theor. Comput. Sci., 278 (1-2): 223-255 (2002)

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.

Sakthimala Jagadeesan

Kayalvizhi Radhakrishnan

Rathnakumar Radhakrishnan

Saravana Radha Krishna Murthy

Luay Radhan

 

Weitere Publikationen von Autoren mit dem selben Namen

A Calculus of Untyped Aspect-Oriented Programs., , und . ECOOP, Volume 2743 von Lecture Notes in Computer Science, Seite 54-73. Springer, (2003)L-domains and Lossless Powerdomains.. Mathematical Foundations of Programming Semantics, Volume 442 von Lecture Notes in Computer Science, Seite 364-372. Springer, (1989)Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency., und . ICALP (2), Volume 8573 von Lecture Notes in Computer Science, Seite 220-231. Springer, (2014)Automatic Abstraction Using Generalized Model Checking., und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 137-150. Springer, (2002)Default Timed Concurrent Constraint Programming., , und . POPL, Seite 272-285. ACM Press, (1995)Programming in Timed Concurrent Constraint Languages., , und . NATO ASI CP, Volume 131 von NATO ASI Series, Seite 367-413. Springer, (1993)Approximate reasoning for real-time probabilistic processes, , und . CoRR, (2005)Game Semantics for Access Control., und . CoRR, (2014)Formal Foundations for Aspects.. FoSSaCS, Volume 4423 von Lecture Notes in Computer Science, Seite 1. Springer, (2007)The Triveni project., , und . ACM SIGSOFT Softw. Eng. Notes, 25 (1): 59 (2000)