Erlang is a programming language used to build massively scalable soft real-time systems with requirements on high availability. Some of its uses are in telecoms, banking, e-commerce, computer telephony and instant messaging. Erlang’s runtime system has built-in support for concurrency, distribution and fault tolerance

References in zbMATH (referenced in 117 articles , 2 standard articles )

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

1 2 3 4 5 6 next

  1. Peters, Kirstin; Nestmann, Uwe; Schmitt, Anna: On distributability (2022)
  2. Ciuciu-Kiss, Jenifer Tabita; Tóth, Melinda; Bozó, István: Towards version controlling in RefactorErl (2021)
  3. De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco: A formal approach to the engineering of domain-specific distributed systems (2020)
  4. Galindo, Carlos; Nishida, Naoki; Silva, Josep; Tamarit, Salvador: ReverCSP: time-travelling in CSP computations (2020)
  5. Shabanov, B. M.; Kuznetsova, E. A.; Rybakov, A. A.: Features of dataflow processor emulator implementing (2020)
  6. Abd Alrahman, Yehia; Torres Vieira, Hugo: A coordination protocol language for power grid operation control (2019)
  7. Haller, Philipp; Miller, Heather: A reduction semantics for direct-style asynchronous observables (2019)
  8. Johansen, Christian; Owe, Olaf: Dynamic structural operational semantics (2019)
  9. Mostowski, Wojciech: Model-based fault injection for testing gray-box systems (2019)
  10. Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio: Progress-preserving refinements of CTA (2018)
  11. Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador: Declarative debugging of concurrent Erlang programs (2018)
  12. Grech, Neville; Fischer, Bernd; Rathke, Julian: Preemptive type checking (2018)
  13. Insa, David; Pérez, Sergio; Silva, Josep; Tamarit, Salvador: Erlang code evolution control (2018)
  14. Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán: A theory of reversibility for Erlang (2018)
  15. López-Fraguas, Francisco J.; Montenegro, Manuel; Suárez-García, Gorka: Polymorphic success types for Erlang (2018)
  16. Müller, Peter (ed.); Schaefer, Ina (ed.): Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018 (2018)
  17. Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation of actors to Haskell (2017)
  18. Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique: Rely-guarantee termination and cost analyses of loops with concurrent interleavings (2017)
  19. Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi; Villaret, Mateu: Higher-order pattern anti-unification in linear time (2017)
  20. Brandt, Jörgen; Reisig, Wolfgang; Leser, Ulf: Computation semantics of the functional scientific workflow language Cuneiform (2017)

1 2 3 4 5 6 next