Communicating sequential processes
Communicating sequential processes
Topology and category theory in computer science
Topology and category theory in computer science
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Communication and Concurrency
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Rough Sets: Mathematical Foundations
Rough Sets: Mathematical Foundations
Hi-index | 0.00 |
Communicating Sequential Processes (CSP), is a theoretical framework for discussing concurrent phenomena [7]. In this note, we begin an investigation into the nature of sets of communicating sequential processes. Sets of sequential processes arise naturally when one considers processes contained within specified bounds which provides their approximate description. Adopting the trace formalism, we may express those bounds in a natural way by means of containment of traces. We endow families of process traces and a fortiori, families of processes, with a rough set topology. We show in this note that basic operators on processes preserve exact sets of processes and they are non-expansive (i.e., non-destructive in terminology of [7]) with respect to the metric D on rough sets [6], [5], restricted to exact sets of processes.