Login / Signup
Interpreting One Concurrent Calculus in Another.
Robin Milner
Published in:
FGCS (1988)
Keyphrases
</>
mutual exclusion
learning algorithm
social networks
computer vision
automated deduction
real time
genetic algorithm
reinforcement learning
computer algebra
concurrent execution
concurrent programs