A Refinement Calculus for Communicating Processes with State.

Luming Lai Jeff W. Sanders

Published in: IWFM (1997)

Keyphrases

databases
neural network
artificial intelligence
state space
business processes
database
feature selection
description logics
stochastic processes