文献
J-GLOBAL ID:201802278953152225
整理番号:18A0709618
一般化反応過程と時間の統一理論【JST・京大機械翻訳】
Unifying theories of time with generalised reactive processes
著者 (4件):
Foster Simon
(Department of Computer Science, University of York, York, YO10 5DD, United Kingdom)
,
Cavalcanti Ana
(Department of Computer Science, University of York, York, YO10 5DD, United Kingdom)
,
Woodcock Jim
(Department of Computer Science, University of York, York, YO10 5DD, United Kingdom)
,
Zeyda Frank
(Department of Computer Science, University of York, York, YO10 5DD, United Kingdom)
資料名:
Information Processing Letters
(Information Processing Letters)
巻:
135
ページ:
47-52
発行年:
2018年
JST資料番号:
E0513A
ISSN:
0020-0190
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)