[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.