Login / Signup
Underspecification for a simple process algebra of recursive processes.
Mila E. Majster-Cederbaum
Published in:
Theor. Comput. Sci. (2001)
Keyphrases
</>
process algebra
asynchronous circuits
object oriented
highly reliable