A Logic For Fresh Labelled Transition Systems

Mohamed H Bandukara, Nikos Tzevelekos

We introduce a Hennessy-Milner logic with recursion for Fresh Labelled Transition Systems (FLTSs). These are nominal labelled transition systems which keep track of the history, i.…