A Logic for Fresh Labelled Transition Systems.

Mohamed H. Bandukara, Nikos Tzevelekos

Browse the full CSL paper archive.