Abstraction and empty process in process algebra
Abstraction and empty process in process algebra / J.C.M. Baeten, R.J. van Glabbeek