Control Flow Analysis for the pi-calculus.

Chiara Bodei Pierpaolo Degano Flemming Nielson Hanne Riis Nielson

Published in: CONCUR (1998)

Keyphrases

flow analysis
information flow
forensic analysis
data sets
decision making
mobile devices
knowledge discovery
control method
control problems
control theory