A Logic for Flow Event Structures.

Jinzhao Wu, Wei Yan

Browse the full CATA paper archive.