Login / Signup

Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs.

Abha Moitra
Published in: Sci. Comput. Program. (1985)
Keyphrases