Login / Signup
A Mobility Calculus with Local and Dependent Types.
Mario Coppo
Federico Cozzi
Mariangiola Dezani-Ciancaglini
Elio Giovannetti
Rosario Pugliese
Published in:
Processes, Terms and Cycles (2005)
Keyphrases
</>
mobile agents
real time
social networks
bayesian networks
computer algebra