( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Preciseness of Subtyping in Session Types.

, , , и . CoRR, (2016)

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)Multiparty session types, beyond duality., и . J. Log. Algebraic Methods Program., (2018)Lightweight Session Programming in Scala (Artifact)., и . Dagstuhl Artifacts Ser., 2 (1): 11:1-11:2 (2016)Suptyping and Locality in Distributed Higher Order Processes (extended abstract)., и . CONCUR, том 1664 из Lecture Notes in Computer Science, стр. 557-572. Springer, (1999)Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact)., и . Dagstuhl Artifacts Ser., 6 (2): 12:1-12:3 (2020)A Parametric Framework for Reversible π-Calculi., , , и . CoRR, (2018)Causal Computational Complexity of Distributed Processes., и . LICS, стр. 344-353. ACM, (2018)Depending on Session-Typed Processes., и . FoSSaCS, том 10803 из Lecture Notes in Computer Science, стр. 128-145. Springer, (2018)Service Equivalence via Multiparty Session Type Isomorphisms., и . PLACES@ETAPS, том 291 из EPTCS, стр. 1-11. (2019)Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types., и . ICALP (2), том 7966 из Lecture Notes in Computer Science, стр. 174-186. Springer, (2013)