15 Aug 2013 · done · supervised by prof. Bart Jacobs [pdf]
An investigation of the sequential product on predicates in the framework of Jacobs.