|
Actario: A Framework for Reasoning About Actor SystemsActario: A Framework for Reasoning About Actor Systems Actario: A Framework for Reasoning About Actor Systems |
"/安武, 祥平/"安武, 祥平 ,
"/Yasutake, Shohei/"Yasutake, Shohei ,
"/渡部, 卓雄/"渡部, 卓雄 ,
"/Watanabe, Takuo/"Watanabe, Takuo