Login / Signup
An enlarged definition and complete axiomatization of observational congruence of finite processes.
Philippe Darondeau
Published in:
Symposium on Programming (1982)
Keyphrases
</>
complete axiomatization
finite number
process model
multi dimensional