( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Roles, Stacks, Histories: A Triple for Hoare.

, , и . Reflections on the Work of C. A. R. Hoare, Springer, (2010)

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.

Johannes

Johannes

Johannes

Johannes

Johannes

 

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

A Complete Symbolic Bisimilarity for an Extended Spi Calculus.. SecCo@CONCUR, том 242 из Electronic Notes in Theoretical Computer Science, стр. 3-20. Elsevier, (2008)Bayesian inference using data flow analysis., , , , и . ESEC/SIGSOFT FSE, стр. 92-102. ACM, (2013)Modal Logics for Nominal Transition Systems., , , , и . CoRR, (2019)Verifying a Structured Peer-to-Peer Overlay Network: The Static Case., , , и . Global Computing, том 3267 из Lecture Notes in Computer Science, стр. 250-265. Springer, (2004)On Bisimulations for the Spi Calculus., и . AMAST, том 2422 из Lecture Notes in Computer Science, стр. 287-303. Springer, (2002)A compositional theory for STM Haskell., , и . Haskell, стр. 69-80. ACM, (2009)Static Equivalence is Harder than Knowledge.. EXPRESS, том 154 из Electronic Notes in Theoretical Computer Science, стр. 45-57. Elsevier, (2005)Symbolic Bisimulation in the Spi Calculus., , и . CONCUR, том 3170 из Lecture Notes in Computer Science, стр. 161-176. Springer, (2004)Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms., , и . SJTU-TUB Joint Workshop, стр. 97-104. Springer, (2008)Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages., , и . ESOP, том 12648 из Lecture Notes in Computer Science, стр. 404-431. Springer, (2021)