You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

An Algebraic Characterization of Concurrent Systems1

Article type: Research Article

Authors: Korczyński, Waldemar

Affiliations: Institute of Mathematics, Warsaw University, Bialystok Branch, ul. Akademicka 2, PL-15267 Bialystok, Poland

Note: [1] The research reported in this paper were supported by Foundation Philippe Le Hodey (Belgium) and by Polish Ministry of Education (grant RPBP III/24 C.4).

Abstract: In the paper a characterization of concurrent systems as algebras of a special kind is given. The algebras are defined by semi-equations in the first order language.

DOI: 10.3233/FI-1988-11204

Journal: Fundamenta Informaticae, vol. 11, no. 2, pp. 171-193, 1988

Received January 1987
|
Accepted December 1987
|
Published: 1 April 1988
Price: EUR 27.50
Show more