Login / Signup
An Action Structure for Synchronous pi-Calculus.
Robin Milner
Published in:
FCT (1993)
Keyphrases
</>
machine learning
information retrieval
real time
computer vision
structural information
transition systems