Refinement Calculus as a Theory of Contracts (Invited Paper).

Ralph-Johan Back

Published in: UTP (2008)

Keyphrases

invited paper
computer algebra
theoretical framework
supply chain
principal agent
data mining
database
neural network
fuzzy logic
formal theory
algebraic structure