100
click to vote
ICFEM
1997
Springer
15 years 6 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...