1. Arun-Kumar, S., Hennessy, M.: An efficiency preorder for processes. Acta Informatica 1(29), 737–760 (1992)
2. Cleaveland, R., Parrow, J., Steffen, B.: A semantics based verification tool for finite state systems. In: Proceedings of the 9
th
International Symposium on Protocol Specification, Testing and Verification, North Holland (1989)
3. Cormen, T., Leiserson, C., Rivest, R., Stein, C.: Introduction to Algorithms, 2nd edn. Prentice-Hall, India (2004)
4. Hennessy, M., Regan, T.: A process algebra for timed systems. Information and Computation 117(2), 221–239 (1995)
5. Lin, H.: A process algebra manipulator. Formal Methods in Systems Design 7, 243–259 (1995)