Making Reliable Distributed Systems in the Presence of Software Errors (2003)

by Joe Armstrong
Citations:50 - 0 self

Documents Related by Co-Citation

401 Viewing Control Structures as Patterns of Passing Messages – C Hewitt - 1977
30 H.G.: Actors and continuous functionals – C Hewitt, Baker - 1978
60 Higher-Order Distributed Objects – Henry Cejtin, Suresh Jagannathan, Richard Kelsey - 1995
94 Concurrent Programming in ERLANG – Joe Armstrong, Robert Virding, Claes Wikström, Mike Williams - 1993
11 A Verification Tool for Erlang – Lars-Åke Fredlund, Lars Ake Fredlund, Dilian Gurov, Mads Dam, Thomas Arts, Thomas Noll, Gennady Chugunov - 2003
20 Verification of Erlang programs using abstract interpretation and model checking – F Huch - 1999
15 Trace Analysis of Erlang Programs – Thomas Arts, Lars-Åke Fredlund - 2002
19 A framework for reasoning about Erlang code – L Fredlund - 2001
10 Semi-formal development of a fault-tolerant leader election protocol in Erlang – Thomas Arts, Koen Claessen, Hans Svensson - 2005
16 Development of a verified Erlang program for resource locking – Thomas Arts, Clara Benac Earle - 2001
1534 Distributed Algorithms – N A Lynch - 1996
56 Acute: High-level programming language design for distributed computation – Peter Sewell, James J. Leifer, Keith Wansbrough, Mair Allen-williams, Pierre Habouzit, Viktor Vafeiadis - 2004
269 The family of concurrent logic programming languages – E Shapiro - 1989
516 Software Transactional Memory – Nir Shavit, Dan Touitou - 1995
5 SRFI 18: Multithreading support. http://srfi.schemers.org/srfi-18/srfi-18.html – Marc Feeley
6 SRFI 21: Real-time multithreading support. http://srfi.schemers.org/srfi-21/srfi-21.html – Marc Feeley
5 A case for the unified heap approach to Erlang memory management – Marc Feeley - 2001
3 SRFI 38: External representation for data with shared structure. http://srfi.schemers.org/srfi-38/srfi-38. html – Ray Dillinger
3 Gambit-C version 4. http://www.iro.umontreal. ca/ ∼ gambit – Marc Feeley