Hybrid process algebra by