Art

J-GLOBAL ID：201202245082445722   Reference number：12A1166909

A Session Type System with Subject Reduction

主題削減を伴うセッションタイプシステム

Author (3)： IMAI Keigo (IT Planning Inc.) ,  YUEN Shoji (Graduate School of Information Sci., Nagoya Univ.) ,  AGUSA Kiyoshi (Graduate School of Information Sci., Nagoya Univ.)
Material： IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers)  (IEICE Trans Inf Syst (Inst Electron Inf Commun Eng))
Volume： E95-D  Issue： 8  Page： 2053-2064 (J-STAGE)  Publication year： 2012 
JST Material Number： L1371A  ISSN： 0916-8532  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *internet ,  system ,  interconnection ,  Web (information system) ,  *Safety ,  *computer algorithm ,  protocol ,  frame (machine element) ,  programming language ,  software
Semi thesaurus term： session ,  correctness

JST classification (2)： Computer networks  (JC03000K) ,  Other system programmings  (JD03070M)

Reference (20)：

• HONDA, K. Language primitives and type discipline for structured communication-based programming. ESOP '98 : Proc. 7th European Symposium on Programming. 1998, 122-138
• MILNER, R. Communicationg and Mobile Systems : The π-Calculus. 1999
• VASCONCELOS, V. T. Type checking a multithreaded functional language with session types. Theor. Comput. Sci. 2006, 368, 1-2, 64-87
• COPPO, M. Asynchronous session types and progress for object oriented languages. Formal Methods for Open Object-Based Distributed Systems. 2007, 1-31
• PERNET, O. session-scala. http://code.google.com/p/session-scala/

Terms in the title (3)： 主題 ,  セッション ,  タイプ