Constructing weak simulations from linear implications for processes with private names.

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases