@ARTICLE{
author={Prokic Ivan,Prokic Simona B,Ghilezan Silvia,Scalas Alceste,Yoshida Nobuko},
year={2026},
title={On Asynchronous Multiparty Session Types for Federated Learning},
journal={THEORETICAL ASPECTS OF COMPUTING-ICTAC 2025},
volume={16237},
number={},
pages={164-182},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ghilezan Silvia,Pantovic Jovanka B,Prokic Ivan,Scalas Alceste,Yoshida Nobuko},
year={2023},
title={Precise Subtyping for Asynchronous Multiparty Sessions},
journal={ACM TRANSACTIONS ON COMPUTATIONAL LOGIC},
volume={24},
number={2},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Pantovic Jovanka B,Prokic Ivan,Scalas Alceste,Yoshida Nobuko},
year={2021},
title={Precise Subtyping for Asynchronous Multiparty Sessions},
journal={PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL},
volume={5},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Jaksic Svetlana,Pantovic Jovanka B,Scalas Alceste,Yoshida Nobuko},
year={2019},
title={Precise subtyping for synchronous multiparty sessions},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={104},
number={},
pages={127-173},
document_type={Article},
}