Basic Observables for a Calculus for Global Computing.

Rocco De Nicola Daniele Gorla Rosario Pugliese

Published in: ICALP (2005)

Keyphrases

data sets
databases
machine learning
medical images
theorem prover
proof procedure