Andrzej Filinski, Ken Friis Larsen, Thomas P. Jensen. Axiomatising an information flow logic based on partial equivalence relations. STTT, 26(4):445-461, August 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.