Mads Dam, Lars-åke Fredlund  Home/Search
Context Related
| ericsson.se:800/cslab/archiv...sac98.ps ericsson.se/cslab/archive/97...sac98.ps sics.se/pub/fdt/mfd/vods.ps.Z 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: ericsson.se:800...lications.shtml (more) From: sics.se/~mfd/home (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A logic and proof system is introduced for specifying and proving properties of open distributed systems. Key problems that are addressed include the verification of process networks with a changing interconnection structure, and where new processes can be continuously spawned. To demonstrate the results in a realistic setting we consider a core fragment of the Erlang programming language. Roughly this amounts to a first-order actor language with data types, buffered asynchronous communication, ... (Update)
Context of citations to this paper: More
...is the relative complexity of handling least fixpoints. A much more attractive approach is the one that was recently proposed in [DF98] and developed further in [DFG98] There, inductive datatypes (such as integers, lists etc. are treated coinductively (i.e. in the way...
...project is stated as producing a method and a prototype tool set for verification. One of the publications related to this project is [79]. In this paper a logic and a proof system is introduced for proving properties of open distributed systems. A core fragment of the Erlang...
Cited by: More
Functions, Concurrency, Distribution and Mobility - Kirli (Correct)
Specification and Verification of Communicating Systems.. - Dilian Borissov Gurov (1998) (Correct)
Similar documents (at the sentence level):
77.8%: On the Verification of Open Distributed Systems - Dam, Fredlund (1998) (Correct)
43.1%: Combining Model Checking and Compositional Reasoning: Erlang.. - Dam, Fredlund (Correct)
22.1%: Toward Parametric Verification of Open Distributed Systems - Dam, Fredlund, Gurov (1998) (Correct)
Active bibliography (related documents): More All
0.1: Compositional Verification of Mobile Process Networks - Dam (1997) (Correct)
0.1: μ-Calculus with Explicit Points and Approximations - Dam, Gurov (1999) (Correct)
0.1: Proving Trust in Systems of Second-Order Processes: Preliminary.. - Dam (1997) (Correct)
Similar documents based on text: More All
0.4: Verification of a Simple Distributed Algorithm in Erlang - Chugunov, Fredlund (Correct)
0.2: A Tool for Verifying Software Written in Erlang - Arts, Chugunov, Dam.. (2000) (Correct)
0.2: Guaranteeing Correctness Properties of a Java Card Applet - Fredlund (2003) (Correct)
Related documents from co-citation: More All
2: Communication and Concurrency (context) - Milner - 1989
BibTeX entry: (Update)
Mads Dam and Lars-ake Fredlund. On the verification of open distributed systems. In Proceedings of ACMSAC'98, 1998. http://citeseer.ist.psu.edu/dam98verification.html More
@techreport{ dam97verification,
author = "Mads Dam and Lars-…ke Fredlund",
title = "On the Verification of Open Distributed Systems",
number = "R97-01",
month = "18,",
pages = "16",
year = "1997",
url = "citeseer.ist.psu.edu/dam98verification.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
242 Concurrent Programming in Erlang - Armstrong, Virding et al. - 1996
137 Local model checking in the modal mu-calculus (context) - Stirling, Walker - 1991
107 A foundation for actor computation - Agha, Mason et al. - 1997
39 A note on model checking the modal -calculus (context) - Winskel - 1991
24 Compositional proof systems for model checking infinite stat.. - Dam - 1995
9 A modal theory of types for the ß-calculus (context) - Amadio, Dam - 1996
Documents on the same site (http://www.ericsson.se:800/cslab/publications.shtml): More
Implementing Distributed Real-time Control Systems in a.. - Wikström (1996) (Correct)
Mnesia - A Distributed Robust DBMS for.. - Mattsson, Nilsson.. (1999) (Correct)
The development of Erlang - Armstrong (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