Inputs, Outputs, and Composition in the Logic of Information Flows

Heba Aamer, Bart Bogaerts 0001, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche. Inputs, Outputs, and Composition in the Logic of Information Flows. ACM Trans. Comput. Log., 24(4), October 2023. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.