CHEN, Tzu Chun
CHEN, Tzu Chun
INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 secondi).
Mixin Composition Synthesis Based on Intersection Types
2015-01-01 Bessai, Jan; Dudenhefner, Andrej; D\"udder, Boris; Chen, Tzu-Chun; de'Liguoro Ugo; Rehof, Jakob
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
2015-01-01 Padovani, Luca; Chen, Tzu Chun; Tosatto, Andrea
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Mixin Composition Synthesis Based on Intersection Types | 2015 | Bessai, Jan; Dudenhefner, Andrej; D\"udder, Boris; Chen, Tzu-Chun; de'Liguoro Ugo; Rehof, Jakob | |
| Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi | 2015 | Padovani, Luca; Chen, Tzu Chun; Tosatto, Andrea |