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 103 articles )

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

1 2 3 4 5 6 next

  1. Bravetti, Mario; Zavattaro, Gianluigi: Process calculi as a tool for studying coordination, contracts and session types (2020)
  2. Cristescu, Ioana; Given-Wilson, Thomas; Legay, Axel: Expressiveness of concurrent intensionality (2020)
  3. Darquennes, Denis; Jacquet, Jean-Marie; Linden, Isabelle: On the expressiveness of multiplicities in data-based coordination languages (2020)
  4. De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco: A formal approach to the engineering of domain-specific distributed systems (2020)
  5. Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo: From distributed coordination to field calculus and aggregate computing (2019)
  6. Calegari, Roberta; Denti, Enrico; Mariani, Stefano; Omicini, Andrea: Logic programming as a service (2018)
  7. Kepner, Jeremy; Jananthan, Hayden: Mathematics of big data. Spreadsheets, databases, matrices, and graphs. With a foreword by Charles E. Leiserson (2018)
  8. Lanotte, Ruggero; Merro, Massimo: A semantic theory of the Internet of things (2018)
  9. Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco: Causal-consistent rollback in a tuple-based language (2017)
  10. Baldoni, Roberto; Bonomi, Silvia; Raynal, Michel: Implementing set objects in dynamic distributed systems (2016)
  11. Given-Wilson, Thomas; Legay, Axel: On the expressiveness of symmetric communication (2016)
  12. Aceto, Luca; Goriac, Eugen-Ioan; Ingolfsdottir, Anna: A ground-complete axiomatization of stateless bisimilarity over Linda (2015)
  13. Dwornikowski, Dariusz; Stroiński, Andrzej; Brzeziński, Jerzy: Towards a process calculus for REST: current state of the art (2015)
  14. Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco: Programming autonomic systems with multiple constraint stores (2015)
  15. Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto: A calculus of quality for robustness against unreliable communication (2015)
  16. 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)
  17. Skyrme, Alexandre; Rodriguez, Noemi; Ierusalimschy, Roberto: A survey of support for structured communication in concurrency control models (2014) ioport
  18. 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
  19. Nardini, Elena; Omicini, Andrea; Viroli, Mirko: Semantic tuple centres (2013) ioport
  20. Viroli, Mirko: On competitive self-composition in pervasive services (2013) ioport

1 2 3 4 5 6 next