Enhanced operational semantics for concurrency, PhD thesis