- Author
- Buzovski Oleg, Belhadri Nuriddin, Korochkin Alexander
- Title
- Formalizing of the Parallel Programs
- Source
- Zeszyty Naukowe / Wyższa Szkoła Informatyki i Zarządzania, 1997, R. 1, nr 1, s. 179-182, bibliogr. 2 poz.
- Keyword
- Oprogramowanie komputerowe, Programy komputerowe, Informatyka
Computer software, Computer programs, Information science - Note
- summ.
- 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.
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) - Accessibility
- The Main Library of the Cracow University of Economics
The Library of University of Economics in Katowice - Cited by
- ISSN
- 1429-5237
- Language
- eng
