dc.contributor.author | Butterfield, Andrew | |
dc.date.accessioned | 2020-01-22T16:17:29Z | |
dc.date.available | 2020-01-22T16:17:29Z | |
dc.date.issued | 2019 | |
dc.date.submitted | 2019 | en |
dc.identifier.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-175 | en |
dc.identifier.other | Y | |
dc.identifier.uri | https://link.springer.com/chapter/10.1007%2F978-3-030-31038-7_8 | |
dc.identifier.uri | http://hdl.handle.net/2262/91358 | |
dc.description.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. | en |
dc.format.extent | 157-175 | en |
dc.language.iso | en | en |
dc.relation.ispartofseries | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); | |
dc.relation.ispartofseries | 11885 LNCS; | |
dc.rights | Y | en |
dc.subject | Unifying theories of programming | en |
dc.subject | Inner algebras | en |
dc.subject | Outer algebras | en |
dc.subject | Shared-variable concurrency | en |
dc.subject | Concurrent Kleen Algebras | en |
dc.title | The Inner and Outer Algebras of Unified Concurrency | en |
dc.type | Journal Article | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/butrfeld | |
dc.identifier.rssinternalid | 210067 | |
dc.identifier.doi | http://dx.doi.org/10.1007/978-3-030-31038-7_8 | |
dc.rights.ecaccessrights | openAccess | |
dc.identifier.orcid_id | 0000-0002-2337-2101 | |