Submitted: October 2006
Abstract
Sound and complete axiomatisations for divergence sensitive variations of weak bisimulation semantics have been studied in the past. Taking the linear time — branching time spectrum with silent moves as a reference, only one of them has resisted an axiomatic treatment so far: the strongly convergent weak bisimulation preorder. Even the coarsest precongruence included in strongly weak bisimulation preorder has not been found so far. This thesis provides the coarsest precongruence included in strongly convergent weak prebisimulation and hence paves the ground towards an axiomatisation.