( en | de | ru )

 

Disambiguierung von "Panangaden, Prakash"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Behavioural equivalences for continuous-time Markov processes.

, , und . Math. Struct. Comput. Sci., 33 (4-5): 222-258 (2023)

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)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)The Search for Structure in Quantum Computation.. FoSSaCS, Volume 6604 von Lecture Notes in Computer Science, Seite 1-11. Springer, (2011)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)Bisimulation and cocongruence for probabilistic systems., , , und . Inf. Comput., 204 (4): 503-523 (2006)On the expressive power of first-order boolean functions in PCF., und . Theor. Comput. Sci., 266 (1-2): 543-567 (2001)Conformal Field Theory as a Nuclear Functor., , und . Computation, Meaning, and Logic, Volume 172 von Electronic Notes in Theoretical Computer Science, Seite 101-132. Elsevier, (2007)