Actario: A Framework for Reasoning About Actor Systems

Publication Information

Title

Japanese:
English:	Actario: A Framework for Reasoning About Actor Systems

Author

Japanese:	安武祥平, 渡部卓雄.
English:	Shohei Yasutake, Takuo Watanabe.

Language

English

Journal/Book name

Japanese:
English:

Volume, Number, Page

Published date

Oct. 26, 2015

Publisher

Japanese:
English:

Conference name

Japanese:
English:	5th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2015)

Conference site

Japanese:	ピッツバーグ
English:	Pittsburgh

Official URL