Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli. Information Flow Analysis in a Discrete-Time Process Algebra. In CSFW. pages 170-184, 2000. [doi]
@inproceedings{FocardiGM00,
title = {Information Flow Analysis in a Discrete-Time Process Algebra},
author = {Riccardo Focardi and Roberto Gorrieri and Fabio Martinelli},
year = {2000},
url = {http://www.computer.org/proceedings/csfw/0671/06710170abs.htm},
tags = {process algebra, analysis, data-flow, algebra, data-flow analysis},
researchr = {https://researchr.org/publication/FocardiGM00},
cites = {0},
citedby = {0},
pages = {170-184},
booktitle = {CSFW},
}