PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Panangaden, Prakash"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The measurement calculus.

, , und . J. ACM, 54 (2): 8 (2007)

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.

Chandra Prakash Beura University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Weak bisimulation is sound and complete for pCTL*., , , und . Inf. Comput., 208 (2): 203-219 (2010)Quantum weakest preconditions., und . Mathematical Structures in Computer Science, 16 (3): 429-451 (2006)Preface., und . Electr. Notes Theor. Comput. Sci., 52 (1): 137-138 (2001)Nonexpressibility of Fairness and Signaling., , und . J. Comput. Syst. Sci., 47 (2): 287-321 (1993)Does Concurrency Theory Have Anything To Say About Parallel Programming?. Bulletin of the EATCS, (1996)Type theory and concurrency., und . International Journal of Parallel Programming, 17 (2): 153-206 (1988)A Logical View of Concurrent Constraint Programming., , , und . Nord. J. Comput., 2 (2): 181-220 (1995)The Common Order-Theoretic Structure of Version Spaces and ATMS's., , , und . AAAI, Seite 500-505. AAAI Press / The MIT Press, (1991)The Metric Analogue of Weak Bisimulation for Probabilistic Processes., , , und . LICS, Seite 413-422. IEEE Computer Society, (2002)Stone Duality for Markov Processes., , , und . LICS, Seite 321-330. IEEE Computer Society, (2013)