Information Technology Reference
In-Depth Information
29. OOI, https://confluence.oceanobservatories.org/display/CIDev/Identify+
required+Scribble+extensions+for+advanced+scenarios+of+R3+COI
30. OOI codebase, https://github.com/ooici/pyon
31. OOI COI governance framework, https://confluence.oceanobservatories.org/
display/syseng/CIAD+COI+OV+Governance+Framework
32. Salaun, G.: Analysis and verification of service interaction protocols - a brief survey. In:
TAV-WEB. EPTCS, vol. 35, pp. 75-86 (2010)
33. JBoss Savara Project, http://www.jboss.org/savara
34. Scribble Project homepage, http://www.scribble.org
35. Full version of this paper, http://www.doc.ic.ac.uk/ ~ rn710/mon
36. Zhang, W., Serban, C., Minsky, N.: Establishing global properties of multi-agent systems via
local laws. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2006. LNCS
(LNAI), vol. 4389, pp. 170-183. Springer, Heidelberg (2007)
 
Search WWH ::




Custom Search