| Document Date: 2015-07-07 07:07:01
Open Document File Size: 791,76 KBShare Result on Facebook
Country Portugal / / Currency pence / / / Facility Imperial College / / IndustryTerm distributed computing / runtime systems / mobile phone applications / e-commerce scenarios / web session / parallel algorithms / structured communication protocols / software updates / buffered communications / e-commerce example / session typing systems / networked applications / structured communications / e-commerce site / / Organization Department of Computing / Imperial College London / Universidade de Lisboa / / Person Dimitris Mostrousa / Nobuko Yoshidab / Nobuko Yoshida / Dimitris Mostrous / / Position first author / Prime Minister / head / / Technology alpha / structured communication protocols / cellular telephone / prescribed protocol / logical unit / operating systems / / |
Session Typing and Asynchronous Subtyping for the Higher-Order π-Calculus Dimitris Mostrousa , Nobuko Yoshidab a Departamento de Informática, Universidade de Lisboa, Portugal