Inconsistency of TS notation
There's some inconsistency of notation for transition systems between section 2.1 and 3.1.
We should probably pick one and stick to it yeah? Which one do we pick? @k2tariq
There's some inconsistency of notation for transition systems between section 2.1 and 3.1.
We should probably pick one and stick to it yeah? Which one do we pick? @k2tariq