磯部祥尚 (Yoshinao Isobe) - マイポータル - researchmap

基本情報

所属: 独立行政法人産業技術総合研究所情報技術研究部門ミドルウェア基礎研究グループ

J-GLOBAL ID: 200901078986753475
researchmap会員ID: 5000087363

外部リンク: http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=Y01350568

MISC

1

A Non-interleaving Timed Process Algebra and a Process Logic for Verifying Composition of Agents

Yoshinao Isobe, Kazuhito Ohmaki

Computer Software 20(5) 470-491 2003年