Browsing by Subject "Outer algebras"
Now showing items 1-1 of 1
-
The Inner and Outer Algebras of Unified Concurrency
(2019)Algebras have always played a critical role in Unifying Theories of Programming, especially in their role in providing the "laws" of programming. The algebraic laws form a triad with two other forms, namely operational ...