Linda

Generative communication in Linda. Generative communication is the basis of a new distributed programming language that is intended for systems programming in distributed settings generally and on integrated network computers in particular. It differs from previous interprocess communication models in specifying that messages be added in tuple-structured form to the computation environment, where they exist as named, independent entities until some process chooses to receive them. Generative communication results in a number of distinguishing properties of the new language, Linda, that is built around it. Linda is fully distributed in space and distributed in time; it allows distributed sharing, continuation passing, and structured naming. We discuss these properties and their implications, then give a series of examples. Linda presents novel implementation problems that we discuss in Part II. We are particularly concerned with implementation of the dynamic global name space that the generative communication model requires.


References in zbMATH (referenced in 84 articles )

Showing results 1 to 20 of 84.
Sorted by year (citations)

1 2 3 4 5 next

  1. Lanotte, Ruggero; Merro, Massimo: A semantic theory of the internet of things (2018)
  2. Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco: Causal-consistent rollback in a tuple-based language (2017)
  3. Baldoni, Roberto; Bonomi, Silvia; Raynal, Michel: Implementing set objects in dynamic distributed systems (2016)
  4. Given-Wilson, Thomas; Legay, Axel: On the expressiveness of symmetric communication (2016)
  5. Aceto, Luca; Goriac, Eugen-Ioan; Ingolfsdottir, Anna: A ground-complete axiomatization of stateless bisimilarity over Linda (2015)
  6. Dwornikowski, Dariusz; Stroiński, Andrzej; Brzeziński, Jerzy: Towards a process calculus for REST: current state of the art (2015)
  7. Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco: Programming autonomic systems with multiple constraint stores (2015)
  8. Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto: A calculus of quality for robustness against unreliable communication (2015)
  9. Borgström, Johannes; Gutkovas, Ramūnas; Parrow, Joachim; Victor, Björn; Åman Pohjola, Johannes: A sorted semantic framework for applied process calculi (extended abstract) (2014)
  10. Skyrme, Alexandre; Rodriguez, Noemi; Ierusalimschy, Roberto: A survey of support for structured communication in concurrency control models (2014) ioport
  11. Van Cutsem, Tom; Gonzalez Boix, Elisa; Scholliers, Christophe; Lombide Carreton, Andoni; Harnie, Dries; Pinte, Kevin; De Meuter, Wolfgang: Ambienttalk: programming responsive mobile peer-to-peer applications with actors (2014) ioport
  12. Nardini, Elena; Omicini, Andrea; Viroli, Mirko: Semantic tuple centres (2013) ioport
  13. Viroli, Mirko: On competitive self-composition in pervasive services (2013) ioport
  14. Barbosa, Jorge; Dillenburg, Fabiane; Lermen, Gustavo; Garzão, Alex; Costa, Cristiano; Rosa, João: Towards a programming model for context-aware applications (2012) ioport
  15. Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra: A model of context-dependent component connectors (2012)
  16. Fok, Chien-Liang; Roman, Gruia-Catalin; Lu, Chenyang: Servilla: A flexible service provisioning middleware for heterogeneous sensor networks (2012) ioport
  17. Pourvatan, Bahman; Sirjani, Marjan; Hojjat, Hossein; Arbab, Farhad: Symbolic execution of Reo circuits using constraint automata (2012)
  18. Rashid, Jayedur; Broxvall, Mathias; Saffiotti, Alessandro: A middleware to integrate robots, simple devices and everyday objects into an ambient ecology (2012) ioport
  19. Bessler, Sandford; Fischer, Alexander; Kühn, Eva; Mordinyi, Richard; Tomic, Slobodanka: Using tuple-spaces to manage the storage and dissemination of spatial-temporal content (2011) ioport
  20. Clarke, Dave; Proença, José; Lazovik, Alexander; Arbab, Farhad: Channel-based coordination via constraint satisfaction (2011)

1 2 3 4 5 next