A unifying framework for interactive programming and applications to communicating peer-to-peer systems

Alexandru Popa, Iulia Teodora Banu-Demergian, Camelia Chira, Florian Mircea Boian, Gheorghe Stefanescu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present a unifying framework for interactive programming built-up on top of rv-systems, a space-time invariant model for interactive computation which extends register machines with interactive capabilities. The framework provides a kernel coordination language parametrized by the programming language used for writing the code of the basic blocks. To illustrate the framework, we describe an implementation of an interactive communicating system where the nodes use Chord peer-to-peer communication protocol and their coordination is written in Agapia, a structured interactive programming language for rv-systems.

Original languageEnglish
Title of host publicationEmbracing Global Computing in Emerging Economies - 1st Workshop, EGC 2015, Proceedings
EditorsRoss Horne
PublisherSpringer Verlag
Pages101-112
Number of pages12
ISBN (Print)9783319250427
DOIs
Publication statusPublished - Jan 1 2015
Event1st Workshop on Embracing Global Computing in Emerging Economies, EGC 2015 - Almaty, Kazakhstan
Duration: Feb 26 2015Feb 28 2015

Publication series

NameCommunications in Computer and Information Science
Volume514
ISSN (Print)1865-0929

Other

Other1st Workshop on Embracing Global Computing in Emerging Economies, EGC 2015
CountryKazakhstan
CityAlmaty
Period2/26/152/28/15

    Fingerprint

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

Cite this

Popa, A., Banu-Demergian, I. T., Chira, C., Boian, F. M., & Stefanescu, G. (2015). A unifying framework for interactive programming and applications to communicating peer-to-peer systems. In R. Horne (Ed.), Embracing Global Computing in Emerging Economies - 1st Workshop, EGC 2015, Proceedings (pp. 101-112). (Communications in Computer and Information Science; Vol. 514). Springer Verlag. https://doi.org/10.1007/978-3-319-25043-4_10