References

1. doi:10.4230/LIPIcs.CSL.2012.31.
2. doi:10.1007/978-3-642-38946-7_5.
3. doi:10.1145/2159531.2159533.
4. doi:10.1007/BFb0037097.
5. doi:10.1006/inco.1996.0025.
6. doi:10.1051/ita/2012012.
7. doi:10.1006/inco.1995.1145.
8. doi:10.1109/LICS.2010.49.
9. doi:10.1007/BFb0014054.
10. doi:10.1007/3-540-45413-6_17.
11. doi:10.1145/96709.96714.
12. doi:10.2168/LMCS-8(1:10)2012.
13. doi:10.1007/s00153-005-0314-y.
14. doi:10.1007/BFb0022575.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org