Given a set of processes and a set of tests on these processes we show how to define in a
natural way three different equivalences on processes. These equivalences are applied to a …

Algebraic theory of processes | Guide books skip to main content ACM Digital Library home
ACM home Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced …

This is a systematic and comprehensive introduction both to compositional proof methods for
the state-based verification of concurrent programs, such as the assumption-commitment …

The actor message-passing model of concurrent computation has inspired new ideas in the
areas of knowledge-based systems, programming languages and their semantics, and …

The Actor model is a mathematical theory that treats" Actors" as the universal primitives of
concurrent digital computation. The model has been used both as a framework for a …

An axiomatic proof system is presented for proving partial correctness and absence of
deadlock (and failure) of communicating sequential processes. The key (meta) rule …

A framework allowing a unified and rigorous definition of the semantics of concurrency is
proposed. The mathematical model introduces processes as elements of process domains …

The safe decomposition of a distributed program into communication closed layers is
suggested as a superstructure of its decomposition into a collection of communicating …

Discussed is a distributed system based on communication among disjoint processes,
where each process is capable of achieving a post-condition of its local space in such a way …

A process P satisfies a specification S if every observation we can make of the behaviour of
P is allowed by S. We use this idea of process correctness as a starting point for developing …