Sign in

A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting.

Paolo BottoniAnna Labella
Published in: Theor. Comput. Sci. (2021)
Keyphrases