thanks - had completely forgotten foxnet - knew at the time becase of our HIPPARCH project work on TCP in Esterel - viz this paper from there/then on timers...
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=662010 > Le lundi, 16 novembre 2015 à 08:52, Jon Crowcroft a écrit : > > another (probably redundant) on topic reference - switchware was one > > a while back and was prob. the baseline for doing comms in OCaml > > > http://seclab.illinois.edu/wp-content/uploads/2011/04/AlexanderHKKSMGJNS98.pdf > > > > doesn't address the level of detail of abstraction we've been debating > > though... > > The foxnet project did that: http://www.cs.cmu.edu/~fox/foxnet.html > > Best, > > Daniel > > > _______________________________________________ MirageOS-devel mailing list MirageOS-devel@lists.xenproject.org http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel