A General Conservative Extension Theorem in Process Algebras with Inequalities.

Pedro R. D'Argenio Chris Verhoef

Published in: Theor. Comput. Sci. (1997)

Keyphrases

databases
real world
database
information systems
case study
artificial neural networks
dynamic programming
upper bound
linear programming
sufficient conditions
development process
linear inequalities