Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Failure semantics

In distributed computing, failure semantics is used to describe and classify errors that distributed systems can experience.
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
In a Service-Oriented Architecture (SOA), services publish descriptions to permit their composition into larger services. There… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2005
2005
We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite… Expand
  • figure 1
Is this relevant?
2002
2002
Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
1999
1999
In this paper, we present a semantic theory for the exchange of information in multi-agent systems. We define a concurrent… Expand
Is this relevant?
1997
1997
Within the framework of concurrent systems, several verification approaches require as a preliminary step the complete derivation… Expand
Is this relevant?
1997
1997
A framework is presented for the supervisory control of nondeterministic discrete-event systems based on failure semantics. It… Expand
Is this relevant?
1994
1994
To optimize performance in a fault-tolerant distributed system, it is often necessary to enforce different failure semantics for… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1993
1993
The notion of failure semantics, or failure behavior, for computerized systems in general, and intelligent manufacturing systems… Expand
  • table 1
  • figure 2
  • figure 3
  • table 2
  • figure 4
Is this relevant?
1987
1987
The (linear) failure semantics is a well known model for the theoretical version of Hoare's CSP. We generalize this semantics by… Expand
Is this relevant?
1986
1986
We propose a new process semantics that combines the advantages of fair abstraction from internal process activity with the… Expand
Is this relevant?