@INPROCEEDINGS {41022,
author={D.  Miranda and A. Matos and J.C. Cederquist},
doi={},
booktitle={Inforum - Simpósio de Informática},
title={Information Flow Security For a Concurrent Language With Lock-based Synchronization},
year={2023},
month={September},
volume={},
pages={-} 
}