Login / Signup
A Typed Calculus of Synchronous Processes
Simon J. Gay
Rajagopal Nagarajan
Published in:
LICS (1995)
Keyphrases
</>
higher order
lambda calculus
website
image sequences
multiscale
computational models
asynchronous communication