( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).

, , , и . Dagstuhl Artifacts Ser., 3 (2): 03:1-03:2 (2017)

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.

Nobuko Omachi

Nobuko Tanimura

Takuro Yoshida

Daisuke Yoshida

Nobuko Drenhaus

 

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

Session typing and asynchronous subtyping for the higher-order π-calculus., и . Inf. Comput., (2015)Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday., , , , и . Theory and Practice of Formal Methods, том 9660 из Lecture Notes in Computer Science, стр. 155-172. Springer, (2016)Verifying message-passing programs with dependent behavioural types., , и . PLDI, стр. 502-516. ACM, (2019)Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version)., и . CoRR, (2020)Suptyping and Locality in Distributed Higher Order Processes (extended abstract)., и . CONCUR, том 1664 из Lecture Notes in Computer Science, стр. 557-572. Springer, (1999)On the Expressiveness of Mixed Choice Sessions (Technical Report)., и . CoRR, (2022)Parameterised Multiparty Session Types., , , и . FoSSaCS, том 6014 из Lecture Notes in Computer Science, стр. 128-145. Springer, (2010)Channel dependent types for higher-order mobile processes.. POPL, стр. 147-160. ACM, (2004)Multiparty asynchronous session types., , и . POPL, стр. 273-284. ACM, (2008)Causal Computational Complexity of Distributed Processes., и . LICS, стр. 344-353. ACM, (2018)