- Integration of CiNii Books functions for fiscal year 2025 has completed
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on November 26, 2025】Regarding the recording of “Research Data” and “Evidence Data”
- Incorporated Jxiv preprints from JaLC and adding coverage from NDL Search
A Capability Calculus for Concurrency and Determinism
-
- TERAUCHI Tachio
- 東北大学
Bibliographic Information
- Title
- A Capability Calculus for Concurrency and Determinism
- Author
- Tachio Terauchi, Alex Aiken
- Published
- 2008
- Resource Type
- journal article
Journal
-
- ACM Transactions on Programming Languages and Systems (TOPLAS)
-
ACM Transactions on Programming Languages and Systems (TOPLAS) 30(5) 2008
- Tweet
Details 詳細情報について
-
- CRID
- 1010000782054252032
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN
