Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Kohler, E., Kaashoek, M.F., Montgomery, D.R.: A Readable TCP in the Prolac Protocol Language. In: SIGCOMM 1999, Cambridge, Massachusetts, USA, pp. 3–13 (1999)
2. Madhavapeddy, A., Ho, A., Deegan, T., Scott, D., Sohan, R.: Melange: Creating a ’Functional’ Internet. In: EuroSys 2007: Proceedings of the 2007 conference on EuroSys., Lisbon, Portugal, pp. 101–114 (2007)
3. Clark, D.: The Design Philosophy of the DARPA Internet Protocols. In: SIGCOMM 1988, Stanford, California, pp. 106–114 (1988)
4. Karsten, M., Keshav, S., Prasad, S., Beg, M.: An Axiomatic Basis for Communication. In: SIGCOMM 2007, Kyoto, Japan, pp. 217–228 (2007)
5. Karsten, M., Keshav, S., Prasad, S.: An Axiomatic Basis for Communication. In: HotNets V, Irvine, CA, USA, pp. 19–24 (2006)