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.
Get full access to this article
View all access options for this article.
You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026
Filter Results
Select search scope: search across all journals or within the current journal
Search this journal
Enter search terms…
/