Reowolf: Synchronous Multi-party Communication over the Internet

  • Christopher A. Esterhuyse
  • Hans-Dieter A. HiepEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 12018)


In this position paper we introduce Reowolf: an on-going project that aims to replace the decades-old application programming interface, BSD sockets, for communication on the Internet. A novel programming interface is being implemented at the systems level that is inter-operable with existing Internet applications.


  1. 1.
    Arbab, F.: Abstract behavior types: a foundation model for components and their composition. Sci. Comput. Program. 55(1–3), 3–52 (2005)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Arbab, F.: Proper protocol. In: Ábrahám, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 65–87. Springer, Cham (2016). Scholar
  3. 3.
    Awerbuch, B.: Complexity of network synchronization. J. ACM 32(4), 804–823 (1985)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Ciatto, G., Mariani, S., Louvel, M., Omicini, A., Zambonelli, F.: Twenty years of coordination technologies: state-of-the-art and perspectives. In: Di Marzo Serugendo, G., Loreti, M. (eds.) COORDINATION 2018. LNCS, vol. 10852, pp. 51–80. Springer, Cham (2018). Scholar
  5. 5.
    Claffy, K.C., Huston, G., Clark, D.: Workshop on Internet Economics (WIE2017) final report. SIGCOMM Comput. Commun. Rev. 48(3), 42–45 (2018). Scholar
  6. 6.
    Dharmapurikar, S., Krishnamurthy, P., Sproull, T., Lockwood, J.: Deep packet inspection using parallel Bloom filters. In: Proceedings of the 11th Symposium on High Performance Interconnects, pp. 44–51. IEEE (2003)Google Scholar
  7. 7.
    Dokter, K., Jongmans, S.S., Arbab, F., Bliudze, S.: Relating BIP and Reo. arXiv preprint arXiv:1508.04848 (2015)
  8. 8.
    Hergarden, M., Jongmans, S.S.: Shared memory implementations of protocol programming languages, data-race-free. In: Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, pp. 36–40. ACM (2018).
  9. 9.
    Jenčik, M., Mihályi, D.: Program components & abstract behavioral types. Acta Electrotech. Inform. 12(1), 38–43 (2012)CrossRefGoogle Scholar
  10. 10.
    Jongmans, S.S.: Automata-theoretic protocol programming. Ph.D. thesis, Centrum Wiskunde & Informatica (CWI), Leiden University (2016)Google Scholar
  11. 11.
    Jongmans, S.-S.T.Q., Arbab, F.: Can high throughput atone for high latency in compiler-generated protocol code? In: Dastani, M., Sirjani, M. (eds.) FSEN 2015. LNCS, vol. 9392, pp. 238–258. Springer, Cham (2015). Scholar
  12. 12.
    Mühl, G., Fiege, L., Pietzuch, P.: Distributed Event-Based Systems. Springer, Heidelberg (2006). Scholar
  13. 13.
    Proença, J., Clarke, D., de Vink, E., Arbab, F.: Dreams: a framework for distributed synchronous coordination. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing, pp. 1510–1515. ACM (2012).
  14. 14.
    Tankard, C.: What the GDPR means for businesses. Netw. Secur. 2016(6), 5–8 (2016). Scholar
  15. 15.
    Yu, F., Chen, Z., Diao, Y., Lakshman, T.V., Katz, R.H.: Fast and memory-efficient regular expression matching for deep packet inspection. In: Proceedings of the 12th Symposium on Architecture for Networking and Communications Systems, pp. 93–102. IEEE (2006)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.Centrum Wiskunde & InformaticaAmsterdamThe Netherlands

Personalised recommendations