Bettina Buth, Jan Peleska  Home/Search
Context
Related
| informatik.unibrem...FM99procos.ps.gz informatik.unibrem...FM99procos.ps.gz 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: informatik.unibremen.d...bbengl (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Interpretation is applied to "lift" occam process components to CSP components reflecting the essential aspects of the process communication behavior while abstracting from details irrelevant for the verification goal, -- Generic theories increase the efficiency of analysis: process instances of a generic class inherit the class properties, which means that it is only necessary to show that concrete processes are instances of a suitable generic process, -- Algebraic reasoning is applied to... (Update)
Similar documents (at the sentence level): More
64.4%: Presented at Quality Week'99 - Appearing On Cdrom (Correct)
44.4%: Combining Methods for the Livelock Analysis of a.. - Bettina Buth (1999) (Correct)
8.8%: Deadlock Analysis for a Fault-Tolerant System - Buth, Kouvaras, Peleska, Shi (1997) (Correct)
Active bibliography (related documents): More All
0.2: PAMELA+PVS - Verification of Sequential Programs - Buth (Correct)
0.2: The UniForM Workbench, a Universal Development Environment.. - Krieg-Brückner, al. (1999) (Correct)
0.0: On the Refinement of State-Based and Event-Based Models - Bolton (Correct)
Similar documents based on text:
0.3: Active State Space: a Distributed Supporting Environment for.. - Zhang, Li (Correct)
BibTeX entry: (Update)
@article{ buth99combining,
author = "Bettina Buth and Jan Peleska and Hui Shi",
title = "Combining Methods for the Livelock Analysis of a Fault-Tolerant System",
journal = "Lecture Notes in Computer Science",
volume = "1548",
pages = "124--139",
year = "1999",
url = "citeseer.ist.psu.edu/article/buth99combining.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
625 ACM Transactions on Programming Languages and Systems (context) - Lamport, Shostak et al. - 1982
274 Prentice-Hall International (context) - Roscoe, Practice - 1997
78 Handbook of Software Reliability Engineering (context) - Lyu - 1995
34 Prentice Hall International (context) - ltd, Reference et al. - 1988
33 Specification and Proof in Real-Time CSP (context) - Davies - 1993
13 Failures Divergence Refinement FDR (context) - Systems, Lts - 1995
7 Daimler-Benz Aerospace -- Project DMS-R (context) - Buth, Peleska - 1996
5 Combining tools for the verification of fault-tolerant syste.. - Buth, Cardell-Oliver et al. - 1996
5 Deadlock analysis for a fault-tolerant system - Buth, Kouvaras et al. - 1997
1 Combining methods for the analysis of a faulttolerant system - Peleska, Shi et al. - 1999
1 Performability analysis of an avionicsinterface (context) - Twele, Schlingloff et al. - 1998
1 Combining methods for the analysis of a fault-tolerant syste.. (context) - Buth, Peleska et al. - 1999
Documents on the same site (http://www.informatik.uni-bremen.de/~bb/bb-engl.html): More
Background - The System (Correct)
Operation Refinement for VDM-like Specifications - Buth (1995) (Correct)
An Interface between - Pamela Dr (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