A multi-tier semantics for Hop.

Manuel Serrano Christian Queinnec

Published in: High. Order Symb. Comput. (2010)

Keyphrases

multi tier
database management
service management
nested transactions
data mining
data structure