References

1. doi:10.1016/j.tcs.2006.08.032.
2. doi:10.1145/360204.360213.
3. doi:10.1006/inco.1998.2740.
4. doi:10.1007/11513988_27.
5. doi:10.1007/978-3-642-02348-4_11.
6. doi:10.1007/3-540-15976-2_22.
7. doi:10.1007/978-3-540-77505-8_12.
8. doi:10.1109/TDSC.2007.1005.
9. doi:10.1109/LICS.1990.113755.
10. doi:10.1007/978-3-540-73147-4_10.
11. doi:10.1016/S0747-7171(89)80025-2.
12. doi:10.1016/j.ipl.2005.11.008.
13. doi:10.1007/978-3-642-03829-7_1.
14. doi:10.1007/3-540-08442-8_106.
15. doi:10.1007/978-3-540-32033-3_23.
16. doi:10.1016/j.entcs.2007.02.054.
17. doi:10.1145/151261.151265.
18. doi:10.1007/978-3-642-13824-9_18.
19. doi:10.2168/LMCS-6(3:12)2010.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org