Failure semantics

In a Service-Oriented Architecture (SOA), services publish descriptions to permit their composition into larger services. There… Expand

We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite… Expand

Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics… Expand

In this paper, we present a semantic theory for the exchange of information in multi-agent systems. We define a concurrent… Expand

Within the framework of concurrent systems, several verification approaches require as a preliminary step the complete derivation… Expand

A framework is presented for the supervisory control of nondeterministic discrete-event systems based on failure semantics. It… Expand

To optimize performance in a fault-tolerant distributed system, it is often necessary to enforce different failure semantics for… Expand

The notion of failure semantics, or failure behavior, for computerized systems in general, and intelligent manufacturing systems… Expand

The (linear) failure semantics is a well known model for the theoretical version of Hoare's CSP. We generalize this semantics by… Expand

We propose a new process semantics that combines the advantages of fair abstraction from internal process activity with the… Expand