From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

On the Axiomatizability of Quantitative Algebras., , и . CoRR, (2018)A categorical characterization of relative entropy on Polish spaces., и . CoRR, (2017)Quantum Alternation: Prospects and Problems., и . QPL, том 195 из EPTCS, стр. 33-42. (2015)Semantic Foundations of Concurrent Constraint Programming., , и . POPL, стр. 333-352. ACM Press, (1991)Stochastic Processes as Concurrent Constraint Programs., , и . POPL, стр. 189-202. ACM, (1999)Singular value automata and approximate minimization., , и . Math. Struct. Comput. Sci., 29 (9): 1444-1478 (2019)Type theory and concurrency., и . Int. J. Parallel Program., 17 (2): 153-206 (1988)Metrics for Labeled Markov Systems., , , и . CONCUR, том 1664 из Lecture Notes in Computer Science, стр. 258-273. Springer, (1999)Weak Bisimulation is Sound and Complete for PCTL*., , , и . CONCUR, том 2421 из Lecture Notes in Computer Science, стр. 355-370. Springer, (2002)Quantum weakest preconditions., и . Math. Struct. Comput. Sci., 16 (3): 429-451 (2006)