( en | de | ru )

 

Disambiguierung von "Panangaden, Prakash"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On-the-Fly Algorithms for Bisimulation Metrics.

, , und . QEST, Seite 94-103. IEEE Computer Society, (2012)

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)Semantic Foundations of Concurrent Constraint Programming., , und . POPL, Seite 333-352. ACM Press, (1991)Stochastic Processes as Concurrent Constraint Programs., , und . POPL, Seite 189-202. ACM, (1999)Approximating Markov Processes by Averaging., , , und . ICALP (2), Volume 5556 von Lecture Notes in Computer Science, Seite 127-138. Springer, (2009)Domain Theory and the Causal Structure of Space-Time., und . CiE, Volume 5028 von Lecture Notes in Computer Science, Seite 428-430. Springer, (2008)A Relational Model of Non-deterministic Dataflow., , und . CONCUR, Volume 1466 von Lecture Notes in Computer Science, Seite 613-628. Springer, (1998)The Expressive Power of Indeterminate Primitives in Asynchronous Computation.. FSTTCS, Volume 1026 von Lecture Notes in Computer Science, Seite 124-150. Springer, (1995)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)Fair reactive programming., , , und . POPL, Seite 361-372. ACM, (2014)