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 113 articles , 2 standard articles )

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

1 2 3 4 5 6 next

  1. De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco: A formal approach to the engineering of domain-specific distributed systems (2020)
  2. Galindo, Carlos; Nishida, Naoki; Silva, Josep; Tamarit, Salvador: ReverCSP: time-travelling in CSP computations (2020)
  3. Shabanov, B. M.; Kuznetsova, E. A.; Rybakov, A. A.: Features of dataflow processor emulator implementing (2020)
  4. Abd Alrahman, Yehia; Torres Vieira, Hugo: A coordination protocol language for power grid operation control (2019)
  5. Haller, Philipp; Miller, Heather: A reduction semantics for direct-style asynchronous observables (2019)
  6. Johansen, Christian; Owe, Olaf: Dynamic structural operational semantics (2019)
  7. Mostowski, Wojciech: Model-based fault injection for testing gray-box systems (2019)
  8. Bartoletti, Massimo; Bocchi, Laura; Murgia, Maurizio: Progress-preserving refinements of CTA (2018)
  9. Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador: Declarative debugging of concurrent Erlang programs (2018)
  10. Grech, Neville; Fischer, Bernd; Rathke, Julian: Preemptive type checking (2018)
  11. Insa, David; Pérez, Sergio; Silva, Josep; Tamarit, Salvador: Erlang code evolution control (2018)
  12. Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán: A theory of reversibility for Erlang (2018)
  13. López-Fraguas, Francisco J.; Montenegro, Manuel; Suárez-García, Gorka: Polymorphic success types for Erlang (2018)
  14. 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)
  15. Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation of actors to Haskell (2017)
  16. Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique: Rely-guarantee termination and cost analyses of loops with concurrent interleavings (2017)
  17. Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi; Villaret, Mateu: Higher-order pattern anti-unification in linear time (2017)
  18. Brandt, Jörgen; Reisig, Wolfgang; Leser, Ulf: Computation semantics of the functional scientific workflow language Cuneiform (2017)
  19. David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit: Erlang Code Evolution Control (2017) arXiv
  20. Nishida, Naoki; Palacios, Adrián; Vidal, Germán: A reversible semantics for Erlang (2017)

1 2 3 4 5 6 next