Information Technology Reference
In-Depth Information
30. OOI codebase,
https://github.com/ooici/pyon
31. OOI COI governance framework,
https://confluence.oceanobservatories.org/
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
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)