Login / Signup

Distinguishing and relating higher-order and first-order processes by expressiveness.

Xian Xu
Published in: Acta Informatica (2012)
Keyphrases