@inproceedings{CTT100736926,
  author = {安武祥平 and 渡部卓雄},
  title = {Actario: 定理証明支援系Coqによるアクターシステムの検証},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100697052,
  author = {Shohei Yasutake and Takuo Watanabe},
  title = {Actario: A Framework for Reasoning About Actor Systems},
  booktitle = {},
  year = 2015,
}

@inproceedings{CTT100836170,
  author = {安武祥平 and 渡部卓雄},
  title = {Actario: Coqによるアクターモデルの形式化とErlangへのコード抽出},
  booktitle = {},
  year = 2015,
}

@inproceedings{CTT100682078,
  author = {安武祥平 and 渡部卓雄},
  title = {Aπ計算のCoqによる形式化},
  booktitle = {},
  year = 2014,
}