1. S. Aggarwal, R.P. Kurshan, and K. Sabnani, ?A calculus for protocol specification and validation,?Protocol Specification, Testing, and Verification, Vol. 3, pp. 19?34, 1983.
2. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang, ?Symbolic model checking: 1020 states and beyond,?Proc. 5th Ann. IEEE Symp. on Logic in Computer Science, pp. 428?439, 1990.
3. K.M. Chandy and J. Misra,Parallel Program Design?A Foundation, Addison-Wesley, 1988.
4. E.M. Clarke, E.A. Emerson, and A.P. Sistla, ?Automatic verification of finite-state concurrent systems using temporal logic specifications,?ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, 1986.
5. E.M. Clarke, T. Filkorn, and S. Jha, ?Exploiting symmetry in temporal logic model checking,?5th International Conference on Computer-Aided Verification, pp. 450?462, June 1993.