R. Alur & D.L. Dill (1994):
A Theory of Timed Automata.
Theoretical Computer Science 126(2),
pp. 183–235,
doi:10.1016/0304-3975(94)90010-8.
D. Chiu, S. Cheung & S. Till (2003):
A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36),
pp. 74–83,
doi:10.1109/HICSS.2003.1174188.
F. Dignum & H. Weigand (1995):
Modelling Communication between Cooperative Systems.
Proceedings of Advanced Information Systems Engineering (CAISE'95),
pp. 140–153,
doi:10.1007/3-540-59498-1_243.
G. Governatori, Z. Milosevic & S. Sadiq (2006):
Compliance checking between business processes and business contracts.
Proceedings of the 10th IEEE Conference on Enterprise Distributed Object Computing,
pp. 221–232,
doi:10.1109/EDOC.2006.22.
J. Hatcliff, G.T. Leavens, k.R.M. Leino, P. Muller & M. Parkinson (2009):
Behavioral Interface Specification Languages.
Technical Report CS-TR-09-01.
School of EECS, University of Central Florida,
doi:10.1145/2187671.2187678.
P.R. Krishna, K. Karlapalem & A.R. Dani (2005):
From Contract to E-Contracts: Modeling and Enactment.
Information Technology and Management 6(4),
pp. 363–387,
doi:10.1007/s10799-005-3901-z.
A. Lomuscio, H. Qu & M. Solanki (2008):
Towards verifying contract regulated service composition.
Proceedings of IEEE International Conference on Web Services (ICWS 2008),
pp. 254–261,
doi:10.1109/ICWS.2008.115.
O. Marjanovic & Z. Milosevic (2001):
Towards formal modeling of e-Contracts.
Proceedings of 5th IEEE International Enterprise Distributed Object Computing Conference,
pp. 59–68,
doi:10.1109/EDOC.2001.950423.
E. Martínez, G. Díaz & M. E. Cambronero (2011):
Contractually Compliant Service Compositions.
ICSOC 2011 - The Ninth International Conference on Service Oriented Computing,
pp. 636–644,
doi:10.1007/978-3-642-25535-9_50.
E. Martínez, G. Díaz, M. E. Cambronero & G. Schneider (2010):
A Model for Visual Specification of e-Contracts.
In: The 7th IEEE International Conference on Services Computing (IEEE SCC'10),
pp. 1–8,
doi:10.1109/SCC.2010.32.
E. Martínez, G. Díaz, M. E. Cambronero & G. Schneider (2012):
Specification and Verification of Normative Specifications using C-O Diagrams.
https://www.dsi.uclm.es/descargas/thecnicalreports/DIAB-12-05-1/TSE11.pdf.
P. McNamara (2006):
Deontic Logic.
In: Gabbay, D.M., Woods, J., eds.: Handbook of the History of Logic 7.
North-Holland Publishing,
pp. 197–289,
doi:10.1016/S1874-5857(06)80029-4.
J. C. Okika & A. P. Ravn (2008):
Classification of SOA Contract Specification Languages.
In: 2008 IEEE International Conference on Web Services (ICWS'08).
IEEE Computer Society,
pp. 433–440,
doi:10.1109/ICWS.2008.36.
J. Tretmans (1999):
Testing Concurrent Systems: A Formal Approach.
In: CONCUR'99, LNCS 1664.
Springer,
pp. 46–65,
doi:10.1007/3-540-48320-9_6.
eptcs@eptcs.org