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

Format Sitasi

Chen, T., Dezani-Ciancaglini, M., Yoshida, N. (2024). On the Preciseness of Subtyping in Session Types: 10 Years Later. https://doi.org/10.1145/3678232.3678258

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber doi.org/10.1145/3678232.3678258
Informasi Jurnal
Tahun Terbit
2024
Bahasa
en
Total Sitasi
Sumber Database
CrossRef
DOI
10.1145/3678232.3678258
Akses
Open Access ✓