References

1. doi:10.1016/j.entcs.2011.09.019.
2. doi:10.1017/CBO9780511542725.
3. doi:10.1007/978-0-387-77548-7.
4. doi:10.1016/j.tcs.2010.01.022.
5. doi:10.1016/j.entcs.2010.08.004.
6. doi:10.1016/j.entcs.2008.10.016.
7. doi:10.1145/584091.584093.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org