Axiomatizing Operational Equivalence in the Presence of Side Effects

Ian A. Mason Carolyn L. Talcott

Published in: LICS (1989)

Keyphrases

genetic algorithm
decision making
databases
social networks
negative effects
data sets
real world
wide range