Concurrency theory; Distributed Systems; Process algebra

A Calculus for Subjective Communication

In this paper we introduce Subjective Communication, a new interaction model for CAS and generalizing the attribute-based communication introduced in the AbC calculus. In this model, a message is broadcasted to every process, but each process can …