Output Without Delay: A π-Calculus Compatible with Categorical Semantics
オープンアクセス
-
- 塚田 武志
- 千葉大学
書誌事項
- タイトル
- Output Without Delay: A π-Calculus Compatible with Categorical Semantics
- 著者
- Ken Sakayori, Takeshi Tsukada
収録刊行物
-
- Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction
-
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction 195 2021