SPECIFICATION−ORIENTED SEMANTICS FOR COMMUNICATING PROCESSES

Abstract

A process P satisfies a specification S, abbreviated P sat S. if every observation we can make about the behaviour of P is allowed by S. We use this idea of process correctness as a starting point for developing a specific form of denotational semantics for processes, called here specification -oriented semantics. This approach serves as a uniform framework for generating and relating a series of increasingly sophisticated denotational models for Communicating Processes.