( en | de | ru )

 

Disambiguierung von "Panangaden, Prakash"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bisimulation for Labelled Markov Processes.

, , , und . LICS, Seite 149-158. IEEE Computer Society, (1997)

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

Prakash Sadashivappa

Aruna Prakash

 

Weitere Publikationen von Autoren mit dem selben Namen

Guest Editors' Foreword., und . Nord. J. Comput., 9 (1): 69 (2002)The Search for Structure in Quantum Computation.. FoSSaCS, Volume 6604 von Lecture Notes in Computer Science, Seite 1-11. Springer, (2011)Approximate reasoning for real-time probabilistic processes., , und . Logical Methods in Computer Science, (2006)Bicategories of Markov Processes., , und . Models, Algorithms, Logics and Tools, Volume 10460 von Lecture Notes in Computer Science, Seite 112-124. Springer, (2017)Dexter Kozen's Influence on the Theory of Labelled Markov Processes.. Logic and Program Semantics, Volume 7230 von Lecture Notes in Computer Science, Seite 334-337. Springer, (2012)Semantics of Networks Containing Indeterminate Operators., und . Seminar on Concurrency, Volume 197 von Lecture Notes in Computer Science, Seite 479-496. Springer, (1984)Probabilistic bisimulation.. ACM SIGLOG News, 2 (3): 72-84 (2015)On the expressive power of first-order boolean functions in PCF., und . Theor. Comput. Sci., 266 (1-2): 543-567 (2001)Riemannian Diffusion Models., , , , und . CoRR, (2022)Bisimulation and cocongruence for probabilistic systems., , , und . Inf. Comput., 204 (4): 503-523 (2006)