Process Algebra door