An Adequate Logic for Full LOTOS.

Muffy Calder, Savi Maharaj, Carron Shankland

Browse the full FM paper archive.