Login / Signup
A Generalized Deadlock-Free Process Calculus.
Eijiro Sumii
Naoki Kobayashi
Published in:
Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
</>
website
knowledge management
deadlock free