References

1. doi:10.1007/s10990-007-9007-z.
2. doi:10.1007/978-3-540-76637-7_16.
3. doi:10.1016/j.entcs.2009.07.090.
4. doi:10.1145/1599410.1599446.
5. doi:10.2168/LMCS-1(2:5)2005.
6. doi:10.1145/2003476.2003498.
7. doi:10.1145/351240.351262.
8. doi:10.2307/2275572.
9. doi:10.1007/3-540-44622-2_19.
10. doi:10.1145/1411203.1411206.
11. doi:10.1145/91556.91622.
12. doi:10.1007/978-3-642-12251-4_18.
13. doi:10.1145/96709.96714.
14. doi:10.1017/S095679680000085X.
15. doi:10.1017/S0956796800001775.
16. doi:10.1016/j.ipl.2006.03.009.
17. doi:10.1016/j.apal.2008.01.005.
18. doi:10.1007/11417170_20.
19. doi:10.1109/LICS.2005.42.
20. doi:10.2307/2275652.
21. doi:10.1016/0304-3975(75)90017-1.
22. doi:10.1007/978-3-642-59048-1_9.
23. doi:10.2307/2271658.
24. doi:10.1007/BFb0066739.
25. doi:10.1006/inco.1994.1093.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org