A Correct Abstract Machine for Safe Ambients.

Daniel Hirschkoff Damien Pous Davide Sangiorgi

Published in: COORDINATION (2005)

Keyphrases

abstract machine
data model
machine learning
high level
neural network
information retrieval
search engine
mobile devices