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

[Daniel BÃnzli <daniel.buenzli@xxxxxxxxxxxx>]

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