文献
J-GLOBAL ID:201202263136328431
整理番号:12A0621356
行動型の代数
An algebra of behavioural types
著者 (3件):
RAVARA Antonio
(Univ. Nova de Lisboa, PRT)
,
RESENDE Pedro
(Univ. Tecnica de Lisboa, PRT)
,
T. VASCONCELOS Vasco
(Univ. de Lisboa, PRT)
資料名:
Information and Computation
(Information and Computation)
巻:
212
ページ:
64-91
発行年:
2012年03月
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)