( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings.

, и . CoRR, (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

Daisuke Yoshida

Takuro Yoshida

Nobuko Drenhaus

 

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

Causal Computational Complexity of Distributed Processes., и . LICS, стр. 344-353. ACM, (2018)Service Equivalence via Multiparty Session Type Isomorphisms., и . PLACES@ETAPS, том 291 из EPTCS, стр. 1-11. (2019)Depending on Session-Typed Processes., и . FoSSaCS, том 10803 из Lecture Notes in Computer Science, стр. 128-145. Springer, (2018)Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types., и . ICALP (2), том 7966 из Lecture Notes in Computer Science, стр. 174-186. Springer, (2013)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)Channel dependent types for higher-order mobile processes.. POPL, стр. 147-160. ACM, (2004)Multiparty asynchronous session types., , и . POPL, стр. 273-284. ACM, (2008)Protocol-based verification of message-passing parallel programs., , , , , , и . OOPSLA, стр. 280-298. ACM, (2015)Web Services, Mobile Processes and Types., , и . Bull. EATCS, (2007)