文献

J-GLOBAL ID：201202259024125050   整理番号：12A0168199

マルチパーティ契約のためのトレースベースモデル

A trace-based model for multiparty contracts

著者 (3件)： HVITVED Tom (Dep. of Computer Sci., Univ. of Copenhagen, DNK) ,  KLAEDTKE Felix (Computer Sci. Dep., ETH Zurich, CHE) ,  ZALINESCU Eugen (Computer Sci. Dep., ETH Zurich, CHE)
資料名： Journal of Logic and Algebraic Programming  (Journal of Logic and Algebraic Programming)
巻： 81  号： 2  ページ： 72-98  発行年： 2012年02月 
JST資料番号： W1593A  ISSN： 1567-8326  資料種別： 逐次刊行物 (A)
発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： マルチ ,  契約