Adam Sampson's spin bookmarkshttps://bookmarks.offog.org/ats/spinAdam Sampson2012-04-03T11:38:45ZIPC Protocols - MozillaWikihttps://bookmarks.offog.org/edit?url=https%3A%2F%2Fwiki.mozilla.org%2FIPC_Protocols2012-04-03T11:38:45ZProtocol specifications from the Mozilla project (they plan to model-check using SPIN).