Login / Signup

Higher-Order Linearisability.

Andrzej S. MurawskiNikos Tzevelekos
Published in: CONCUR (2017)
Keyphrases