@ARTICLE{
author={Arslanagic Alen,Subotic Pavle,Perez Jorge A},
year={2023},
title={Bit-Vector Typestate Analysis},
journal={FORMAL ASPECTS OF COMPUTING},
volume={35},
number={3},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Dedeic Jovana,Pantovic Jovanka B,Perez Jorge A},
year={2021},
title={On primitives for compensation handling as adaptable processes},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={121},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Ghilezan Silvia,Jaksic Svetlana,Pantovic Jovanka B,Perez Jorge A,Vieira Hugo Torres},
year={2016},
title={Dynamic role authorization in multiparty conversations},
journal={FORMAL ASPECTS OF COMPUTING},
volume={28},
number={4},
pages={643-667},
document_type={Article},
} 

@ARTICLE{
author={Bartoletti Massimo,Castellani Ilaria,Denielou Pierre-Malo,Dezani-Ciancaglini Mariangiola,Ghilezan Silvia,Pantovic Jovanka B,Perez Jorge A,Thiemann Peter,Toninho Bernardo,Vieira Hugo Torres},
year={2015},
title={Combining behavioural types with security analysis},
journal={JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
volume={84},
number={6},
pages={763-780},
document_type={Article},
}