Name Matching v.s. Structure Matching in Typing Systems for the Polyadic π-Calculus
スポンサーリンク
概要
著者
関連論文
- Collection and Analysis of Life-style Data : A Novel Approach to Improve Health-Consciousness
- Name Matching v.s. Structure Matching in Typing Systems for the Polyadic π-Calculus