Login / Signup
An Implicitly-Typed Deadlock-Free Process Calculus.
Naoki Kobayashi
Shin Saito
Eijiro Sumii
Published in:
CONCUR (2000)
Keyphrases
</>
end to end
deadlock free
decision making
query processing