Conference Paper Actario: A Framework for Reasoning About Actor Systems

安武, 祥平  ,  Yasutake, Shohei  ,  渡部, 卓雄  ,  Watanabe, Takuo

2015-10

Number of accesses :  

Other information