References

1. André Arnold (2002): Nivat's processes and their synchronization. Theor. Comput. Sci. 281, pp. 31–36, doi:10.1016/S0304-3975(02)00006-3.
2. Maria Fasli (2002): On Commitments, Roles, and Obligations. In: Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems, CEEMAS '01. Springer-Verlag, pp. 93–102, doi:10.1007/3-540-45941-3_10.
3. G. Governatori & Z. Milosevic (2005): Dealing with contract violations: formalism and domain specific language. In: EDOC Enterprise Computing Conference, 2005 Ninth IEEE International. IEEE, pp. 46–57, doi:10.1109/EDOC.2005.13.
4. Guido Governatori (2005): Representing business contracts inıt RuleML. Int. J. Cooperative Inf. Syst. 14(2-3), pp. 181–216, doi:10.1142/S0218843005001092.
5. H. Herrestad & C. Krogh (1995): Deontic logic relativised to bearers and counterparties. Anniversary Anthology in Computers and Law, pp. 453–522.
6. W.N. Hohfeld (1913): Some fundamental legal conceptions as applied in judicial reasoning. Yale Law Journal 23, pp. 16, doi:10.2307/785533.
7. S. Kanger & H. Kanger (1966): Rights and parliamentarism. Theoria 32(2), pp. 85–115, doi:10.1111/j.1755-2567.1966.tb00594.x.
8. L. Lindahl (1977): Position and change: A study in law and logic 112. Springer, doi:10.1007/978-94-010-1202-7.
9. Olivera Marjanovic & Zoran Milosevic (2001): Towards Formal Modeling of e-Contracts. In: Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing, EDOC '01. IEEE Computer Society, Washington, DC, USA, pp. 59–, doi:10.1109/EDOC.2001.950423.
10. Gordon Pace & Fernando Schapachnik (2012): Contracts for Interacting Two-Party Systems. Technical Report. FCEyN, Universidad de Buenos Aires. Available at http://publicaciones.dc.uba.ar/Publications/2012/PS12a.
11. Gordon J. Pace & Fernando Schapachnik (2011): Permissions in Contracts, a Logical Insight. In: JURIX, pp. 140–144, doi:10.3233/978-1-60750-981-3-140.
12. Y.U. Ryu (1998): Specification of contractual obligations in formal business communication. Data & knowledge engineering 26(3), pp. 309–326, doi:10.1016/S0169-023X(97)00048-7.
13. F.A.A. Santos, A.J.I. Jones & J. Carmo (1997): Action concepts for describing organised interaction. In: System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on 5. IEEE, pp. 373–382, doi:10.1109/HICSS.1997.10062.
14. Yao-Hua Tan & Walter Thoen (1998): A logical model of directed obligations and permissions to support electronic contracting. Int. J. Electron. Commerce 3, pp. 87–104.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org