Skip to main content
SpringerLink
Log in

A Unifying Framework for Interactive Programming and Applications to Communicating Peer-to-Peer Systems

  • Conference paper
  • First Online:
Embracing Global Computing in Emerging Economies (EGC 2015)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 514))

Included in the following conference series:

  • 253 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)

    Google Scholar 

  2. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  3. Banu-Demergian, I.T.: The study of interaction in computing systems. Ph.D. thesis, University of Bucharest (2014)

    Google Scholar 

  4. Broy, M., Olderog, E.R.: Trace-oriented models of concurrency. In: Bergstra, J.A., et al. (eds.) Handbook of Process Algebra, pp. 101–196. North-Holland, Amsterdam (2001)

    Chapter  Google Scholar 

  5. Dragoi, C., Stefanescu, G.: Structured programming for interactive rv-systems. IMAR Preprint 9/2006, Bucharest (2006)

    Google Scholar 

  6. Dragoi, C., Stefanescu, G.: Implementation and verification of ring termination detection protocols using structured rv-programs. Ann. Univ. Bucharest Math. Inform. Ser. 55, 129–138 (2006)

    MathSciNet  MATH  Google Scholar 

  7. Dragoi, C., Stefanescu, G.: AGAPIA v0.1: a programming language for interactive systems and its typing system. In: Proceedings of the FINCO 2007, ETAPS Workshop on the Foundations of Interactive Computation, Braga, Portugal. ENTCS Volume, pp. 61–76 (2007, in press)

    Google Scholar 

  8. Dragoi, C., Stefanescu, G.: AGAPIA v0.1: a programming language for interactive systems and its typing systems. In: Proceedings of the FINCO/ETAPS 2007 (2007). ENTCS Vol. 203(3), 69–94 (2008)

    Google Scholar 

  9. Dragoi, C., Stefanescu, G.: On spatio-temporal logics for the verification of structured interactive programs with registers and voice. In: WADT 2008, 19th International Workshop on Algebraic Development Techniques, Pisa, Italy, 13–16 June (2008)

    Google Scholar 

  10. Gadducci, F., Montanari, U.: The tile model. In: Proof, Language, and Interaction: Essays in Honor of Robin Milner, pp. 133–168. MIT Press (1999)

    Google Scholar 

  11. Goldin, D., Smolka, S., Wegner, P. (eds.): Interactive Computation: The New Paradigm. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  12. Kavalionak, H., Montresor, A.: P2P and cloud: a marriage of convenience for replica management. In: Kuipers, F.A., Heegaard, P.E. (eds.) IWSOS 2012. LNCS, vol. 7166, pp. 60–71. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  13. Milner, R.: Communicating and Mobile Systems: The Pi Calculus. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

  14. Misra, J., Cook, W.: Computation Orchestration. Softw. Syst. Model. 6(1), 83–110 (2007)

    Article  Google Scholar 

  15. Popa, A., Sofronia, A., Stefanescu, G.: High-level structured interactive programs with registers and voices. J. Univ. Comput. Sci. 13(11), 1722–1754 (2007)

    MathSciNet  Google Scholar 

  16. Popa, A., Sofronia, A., Stefanescu, G.: Undecidability results for finite interactive systems. In: Proceedings of the SYNASC 2008, pp. 366–369 (2008)

    Google Scholar 

  17. Stefanescu, G.: Interactive systems with registers and voices. Fundamenta Informaticae 73, 285–306 (2006)

    MathSciNet  MATH  Google Scholar 

  18. Stoica, I., et al.: Chord: a scalable peer-to-peer lookup protocol for internet applications. IEEE/ACM Trans. Netw. 11(1), 17–32 (2003)

    Article  MathSciNet  Google Scholar 

  19. Jensen, O.H., Milner, R.: Bigraphs and transitions. In: Proceedings of the POPL 2003, pp. 38–49 (2003)

    Google Scholar 

  20. Wadge, W., Ashcroft, E.A.: Lucid, the Dataflow Programming Language. Academic Press, New York (1985)

    MATH  Google Scholar 

  21. Wegner, P.: Interactive foundations of computing. Theor. Comput. Sci. 192, 315–351 (1998)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Science and Technology, Nazarbayev University, Astana, Kazakhstan

    Alexandru Popa

  2. Department of Computer Science, UBB, Cluj-Napoca, Romania

    Florian Mircea Boian

  3. Department of Computer Science, UTC, Cluj-Napoca, Romania

    Camelia Chira

  4. Department of Computer Science, University of Bucharest, Bucharest, Romania

    Iulia Teodora Banu-Demergian & Gheorghe Stefanescu

Authors
  1. Alexandru Popa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Iulia Teodora Banu-Demergian
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Camelia Chira
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Florian Mircea Boian
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Gheorghe Stefanescu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexandru Popa .

Editor information

Editors and Affiliations

  1. Kazakh-British Technical University, Almaty, Kazakhstan

    Ross Horne

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

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: Horne, R. (eds) Embracing Global Computing in Emerging Economies. EGC 2015. Communications in Computer and Information Science, vol 514. Springer, Cham. https://doi.org/10.1007/978-3-319-25043-4_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25043-4_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25042-7

  • Online ISBN: 978-3-319-25043-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation