Login / Signup
Modeling Imperative Constructs in the Pi-Calculus.
Daniel Hirschkoff
Enguerrand Prebet
Davide Sangiorgi
Published in:
ICTCS (2019)
Keyphrases
</>
databases
real time
website
multiscale