PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1 (1997) | nr 1 | 179--182
Tytuł artykułu

Formalizing of the Parallel Programs

Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
In this paper of work, the approach to formalising the problem of the interaction analysis in the programs carried out parallel, based on the research apparatus of discrete systems is studied. To present as a conceptual model the parallel program can be studies as a set of separate processes, which are fulfilled parallely and cooperate among themselves. The known model of co-operating consecutite processes CSP (Communicating Sequential Processes) is presented in this paper. (original abstract)
W artykule przedstawiono podejście do opisu programu związanego z analizą interakcyjną w analogicznie wykonanych programach, oparte na materiale badawczym systemów odosobnionych. Aby móc zaprezentować to jako model koncepcyjny, przedstawiony został analogiczny program złożony z oddzielnych procesów, które są wykonywane równolegle i współdziałają ze sobą. Przedstawiono również model współgrającego sekwencyjnego procesu CSP.
Rocznik
Numer
Strony
179--182
Opis fizyczny
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000000006166

Zgłoszenie zostało wysłane

Zgłoszenie zostało wysłane

Musisz być zalogowany aby pisać komentarze.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.