An algebra of data flows

• Autorzy: Winkowski J.
• Języki publikacji: EN

Abstrakty

EN

An algebra of processes is proposed in which processes are modelled in terms of data rather than events. Structures representing processes are similar to the labelled event structures of Winskel (1982), but they denote flows of data. For processes represented in such a way operations similar to those of CCS (the Calculus of Communicating Systems as developed by Milner (1980) are defined and their fundamental properties are stated.

PL

Praca zawiera propozycję pewnej algebry procesów, w której procesy opisuje się za pomocą danych a nie zdarzeń. Struktury reprezentujące procesy przypominają etykietowane struktury zdarzeń Winskela (1982), ale opisują one przepływy danych. Na procesach tak reprezentowanych definiuje się operacje, podobne do operacji zaproponowanego przez Milnera (1980) rachunku komunikujących się systemów CCS.

Słowa kluczowe

EN

applying a substitution; approximation order; fixed-point; flow of data; prefix order; reactive system; restricting communication

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 1999
• Tom: nr 880
• Strony: 3--39

Twórcy

autor

Winkowski J.

• Instytut Podstaw Informatyki PAN ul. Ordona 21 01-237 Warszawa,