Re: [MirageOS-devel] How to implement protocols?

[Jon Crowcroft <Jon.Crowcroft@xxxxxxxxxxxx>]

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@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel