( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a Formal Account for Software Transactional Memory.

, , , и . RC, том 12227 из Lecture Notes in Computer Science, стр. 255-263. Springer, (2020)

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

 

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

Causal Computational Complexity of Distributed Processes., и . LICS, стр. 344-353. ACM, (2018)On Progress for Structured Communications., , и . TGC, том 4912 из Lecture Notes in Computer Science, стр. 257-275. Springer, (2007)Structured Communication-Centred Programming for Web Services., , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 2-17. Springer, (2007)Combinatory Representation of Mobile Processes., и . POPL, стр. 348-360. ACM Press, (1994)Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions., , , и . COORDINATION, том 7890 из Lecture Notes in Computer Science, стр. 45-59. Springer, (2013)Monitoring Networks through Multiparty Session Types., , , , и . FMOODS/FORTE, том 7892 из Lecture Notes in Computer Science, стр. 50-65. Springer, (2013)Pabble: Parameterised Scribble for Parallel Programming., и . PDP, стр. 707-714. IEEE Computer Society, (2014)Asynchronous Session Types and Progress for Object Oriented Languages., , и . FMOODS, том 4468 из Lecture Notes in Computer Science, стр. 1-31. Springer, (2007)Multiparty Session C: Safe Parallel Programming with Message Optimisation., , и . TOOLS (50), том 7304 из Lecture Notes in Computer Science, стр. 202-218. Springer, (2012)A Gentle Introduction to Multiparty Asynchronous Session Types., , , и . SFM, том 9104 из Lecture Notes in Computer Science, стр. 146-178. Springer, (2015)