The Inner and Outer Algebras of Unified Concurrency
Citation:
Butterfield, A., The Inner and Outer Algebras of Unified Concurrency, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11885 LNCS, 2019, 157-175Download Item:
Abstract:
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 and denotational semantics. In this paper we demonstrate
that algebras are not just for providing external laws for reasoning
about programs. In addition, they can be very benefcial for assisting in
the development of theoretical models, most notably denotational semantics.
We refer to the algebras used to develop a denotational model
as 'inner algebras", while the resulting algebraic semantics we consider
to be an "outer algebra". In this paper we present a number of inner algebras
that arose in the development of a fully compositional denotational
semantics, called UTCP, for shared-state concurrency. We explore how
these algebras helped to develop (and debug!) the theory, and discuss
how they may assist in the ultimate aim of exposing the outer algebra of
UTCP, which we expect to be very similar to Concurrent Kleene Algebra.
URI:
https://link.springer.com/chapter/10.1007%2F978-3-030-31038-7_8http://hdl.handle.net/2262/91358
Author's Homepage:
http://people.tcd.ie/butrfeld
Author: Butterfield, Andrew
Type of material:
Journal ArticleURI:
https://link.springer.com/chapter/10.1007%2F978-3-030-31038-7_8http://hdl.handle.net/2262/91358
Collections
Series/Report no:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics);11885 LNCS;
Availability:
Full text availableKeywords:
Unifying theories of programming, Inner algebras, Outer algebras, Shared-variable concurrency, Concurrent Kleen AlgebrasDOI:
http://dx.doi.org/10.1007/978-3-030-31038-7_8Metadata
Show full item recordLicences: