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.

 

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

Specification, Refinement and Verification of Concurrent Systems---An Integration of Object-Z and CSP, и . Form. Methods Syst. Des., 18 (3): 249--284 (2001)Extending W for Object-Z.. ZUM, том 967 из Lecture Notes in Computer Science, стр. 276-295. Springer, (1995)A Framework for Correctness Criteria on Weak Memory Models., и . FM, том 9109 из Lecture Notes in Computer Science, стр. 178-194. Springer, (2015)The platypus of the quantum channel zoo., , , , и . ISIT, стр. 2433-2438. IEEE, (2022)On the separation of correlation-assisted sum capacities of multiple access channels., , , и . ISIT, стр. 2756-2761. IEEE, (2022)On the Separation of Correlation-Assisted Sum Capacities of Multiple Access Channels., , , и . IEEE Trans. Inf. Theory, 69 (9): 5805-5844 (сентября 2023)Bound entangled states with secret key and their classical counterpart, , и . CoRR, (2013)A Dafny-based approach to thread-local information flow analysis.. FormaliSE, стр. 86-96. IEEE, (2023)Model Checking Z Specifications Using SAL., и . ZB, том 3455 из Lecture Notes in Computer Science, стр. 85-103. Springer, (2005)Associated Paper: The Object-Z Specification Language., , , и . TOOLS (5), стр. 465-484. Prentice Hall, (1991)