|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 26 van 27 gevonden artikelen
| Titel: |
Some Remarks on Sets of Communicating Sequential Processes in Topological Rough Set Framework |
| Auteur: |
Lech Polkowski Maria Semeniuk-Polkowska |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 60 (2004) nr. 1-4 pagina's 291-305 |
| Jaar: |
2004-09-10 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 26 van 27 gevonden artikelen
| << vorige | volgende >> |