Login / Signup

Constructive semantics for instantaneous reactions.

Joaquín AguadoMichael Mendler
Published in: Theor. Comput. Sci. (2011)
Keyphrases