Axiomatising an information flow logic based on partial equivalence relations

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.