Sean Seefried and I have just released an implementation of the client and
worker protocols for Majordomo, as specified at http://rfc.zeromq.org/spec:7
While it's not yet complete (the client won't try reconnecting, for
instance, and has a hardcoded timeout), we're already finding it useful for
ni
[Please post - apologies for multiple copies.]
WING 2012 - 4th International Workshop on INvariant Generation
http://cs.nyu.edu/acsys/wing2012/
June 30, 2012
Manchester, UK (a satellite Workshop of IJCAR 2012)