Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract).

Lalita Jategaonkar Jagadeesan Radha Jagadeesan

Published in: AMAST (1995)

Keyphrases

extended abstract
data sets
data collection
flow analysis
data processing
training data
data points
knowledge discovery
synthetic data
raw data
data sources
spatial data
original data
control system
database
missing data
data quality
high quality
forensic analysis