( en | de | ru )

 

Disambiguierung von "Panangaden, Prakash"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes.

, , und . MFPS, Volume 352 von Electronic Notes in Theoretical Computer Science, Seite 53-77. Elsevier, (2020)

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.

Leo Prakash

Prakash Chandra

Dharma Prakash

Aruna Prakash

Prakash Sadashivappa

 

Weitere Publikationen von Autoren mit dem selben Namen

Does Concurrency Theory Have Anything To Say About Parallel Programming?. Bulletin of the EATCS, (1996)Bisimulation metrics and norms for real-weighted automata., , und . Inf. Comput., (2022)A Logical View of Concurrent Constraint Programming., , , und . Nord. J. Comput., 2 (2): 181-220 (1995)Fair reactive programming., , , und . POPL, Seite 361-372. ACM, (2014)A categorical characterization of relative entropy on Polish spaces., und . CoRR, (2017)Singular value automata and approximate minimization., , und . Math. Struct. Comput. Sci., 29 (9): 1444-1478 (2019)Preface., und . EXPRESS, Volume 52 von Electronic Notes in Theoretical Computer Science, Seite 137-138. Elsevier, (2001)The Common Order-Theoretic Structure of Version Spaces and ATMS's., , , und . AAAI, Seite 500-505. AAAI Press / The MIT Press, (1991)Expressiveness of Probabilistic Modal Logics, Revisited., , und . ICALP, Volume 80 von LIPIcs, Seite 105:1-105:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Approximating Markov Processes by Averaging., , , und . ICALP (2), Volume 5556 von Lecture Notes in Computer Science, Seite 127-138. Springer, (2009)