Invariants in Process Algebra with Data.

Marc Bezem Jan Friso Groote

Published in: CONCUR (1994)

Keyphrases

database
general purpose
data quality
real time
machine learning
high level
network structure