TY  - RPRT
TI  - Flavours of Sequential Information Flow
AU  - Ezio Bartocci
AU  - Thomas Ferrère
AU  - Thomas A. Henzinger
AU  - Dejan Nickovic
AU  - Ana Oliveira da Costa
PY  - 2021
UR  - https://arxiv.org/abs/2105.02013
ID  - 2105.02013
ER  -