References

1. doi:10.1145/325694.325702.
2. doi:10.1109/CSFW.2004.17.
3. doi:10.1109/LICS.2000.855770.
4. doi:10.1007/11547662\voidb@x 0.06emwidth0.5em9.
5. doi:10.1007/s10009-006-0005-y.
6. doi:10.4204/EPTCS.96.8.
7. doi:10.1006/inco.1994.1047.
8. doi:10.1016/S0304-3975(03)00315-3.
9. doi:10.1145/1040305.1040313.
10. doi:10.1007/11691372\voidb@x 0.06emwidth0.5em20.
11. doi:10.1145/268946.268976.
12. doi:10.1016/S0167-6423(99)00024-6.
13. doi:10.1109/JSAC.2002.806121.
14. doi:10.3233/JCS-1996-42-304.
15. doi:10.1109/CSFW.1997.596807.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org