CrossRef
Open Access
2024
1 sitasi
On the Preciseness of Subtyping in Session Types: 10 Years Later
Tzu-Chun Chen
Mariangiola Dezani-Ciancaglini
Nobuko Yoshida
Penulis (3)
T
Tzu-Chun Chen
M
Mariangiola Dezani-Ciancaglini
N
Nobuko Yoshida
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2024
- Bahasa
- en
- Total Sitasi
- 1×
- Sumber Database
- CrossRef
- DOI
- 10.1145/3678232.3678258
- Akses
- Open Access ✓