Some Remarks on Sets of Communicating Sequential Processes in Topological Rough Set Framework.

Saved in:

Bibliographic Details
Title:	Some Remarks on Sets of Communicating Sequential Processes in Topological Rough Set Framework.
Authors:	Polkowski, Lech^1,2, Semeniuk-Polkowska, Maria³ polkow@pjwstk.edu.pl
Source:	Fundamenta Informaticae. Apr2004, Vol. 60 Issue 1-4, p301-305. 15p.
Subjects:	Sequential processing (Computer science), Electronic data processing, Topology, Rough sets, Set theory
Abstract:	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. [ABSTRACT FROM AUTHOR]
	Copyright of Fundamenta Informaticae is the property of Polskie Towarzystwo Matematyczne and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database:	Engineering Source

Description
Abstract:	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. [ABSTRACT FROM AUTHOR]
ISSN:	01692968