Dissertation: Fork semantics