Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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.
Wydawca
Czasopismo
Rocznik
Tom
Strony
75--104
Opis fizyczny
bibliogr. 14 poz.
Twórcy
autor
- Instytut Podstaw Informatyki PAN, Ordona 21, 01-237 Warszawa, Poland, wink@ipipan.waw.pl
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0008-0004