Jan Nyström, Bengt Jonsson  Home/Search
Context
Related
| erlang.se/workshop/nystrom.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: erlang.se/publications/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Erlang is a concurrent functional language, especially tailored for distributed and fault-tolerant software. Its strength has been demonstrated by several successful commercial applications. An important part of Erlang is its support for fault tolerance by implementing failure-recovery, through organising the processes of an Erlang system into trees of processes, in which parent nodes monitor the failure status of their children and are responsible for their restart. In this paper we present... (Update)
Active bibliography (related documents): More All
1.2: Functional Programming and Logic Decrease the Use of the Most.. - Arts (2001) (Correct)
0.4: Model Checking Erlang Programs - Abstracting the Context-Free.. - Huch (2001) (Correct)
0.3: Evaluating Distributed Functional Languages for - Telecommunications Software.. (Correct)
Similar documents based on text: More All
0.4: SQL-compiler - Andersson (1998) (Correct)
0.4: World-Class Product Certification using Erlang - Wiger, Ask, Boortz (2002) (Correct)
0.4: A Comparison Between Erlang and C++ for Implementation of.. - Aronsson, Grafström (1995) (Correct)
BibTeX entry: (Update)
@misc{ nystrom-extracting,
author = "Jan Nystr{\"o}m and Bengt Jonsson",
title = "Extracting the processes structure of {ERLANG} applications",
url = "citeseer.ist.psu.edu/453431.html" }
Citations (may not include all citations):39 Diagnosability of Discrete-Event Systems (context) - Sampath, Sengupta et al. - 1995
21 Using Shape Analysis to Reduce Finite-State Models of Concur.. - Corbett - 2000
14 Verication of Erlang Programs using Abstract Interpretation .. (context) - Huch - 1999
13 AXD 301: A new generation ATM switching system - Blau, Rooth et al. - 1999
9 Logic Verication of ANSI-C Code with SPIN (context) - Holzmann - 2000
5 Automating software feature veri cation (context) - Holzmann, Smith - 2000
5 Use ErlangOTP as Service Creation Tool Service (context) - Use, OTP et al. - 2000
4 Behaviour Analysis and Safety Conditions: a Case Study in CM.. (context) - Nielson, Amtoft et al. - 1998
3 Department of Information Technology (context) - Carlsson, Gustavsson et al. - 2000
3 Concurrent Functional Programming for Telecommunications: A .. (context) - acker - 2000
3 Development of a Veried Erlang Program for Resource Locking - Arts, Earle - 2001
3 A Tool for Verifying Software Written in Erlang - Arts, Chugunov et al. - 2000
2 Model Checking Erlang Programs { Abstracting the Context-Fre.. - Huch - 2001
1 Core Erlang introduction and formal sematics (context) - Carlsson - 2001
1 Demand-Driven Construction of Call Graphs (context) - Agrawal - 2000
1 Specication of the Standard Erlang programming language (context) - Barklund, Virding - 1999
Documents on the same site (http://www.erlang.se/publications/): More
Four-fold Increase in Productivity and Quality -.. - Wiger (2001) (Correct)
Exploiting Sequential Libraries on a Cluster of Computers - Barreiro, Freire, Gulias, .. (Correct)
An introduction to Core Erlang - Carlsson (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC