Login / Signup
A Process-Algebraic Semantics for Generalised Nonblocking.
Simon Ware
Robi Malik
Published in:
CATS (2011)
Keyphrases
</>
multiscale
real time
databases
image sequences
formal semantics