Show simple item record

dc.contributor.authorButterfield, Andrew
dc.date.accessioned2020-01-22T16:17:29Z
dc.date.available2020-01-22T16:17:29Z
dc.date.issued2019
dc.date.submitted2019en
dc.identifier.citationButterfield, 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-175en
dc.identifier.otherY
dc.identifier.urihttps://link.springer.com/chapter/10.1007%2F978-3-030-31038-7_8
dc.identifier.urihttp://hdl.handle.net/2262/91358
dc.description.abstractAlgebras 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.extent157-175en
dc.language.isoenen
dc.relation.ispartofseriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics);
dc.relation.ispartofseries11885 LNCS;
dc.rightsYen
dc.subjectUnifying theories of programmingen
dc.subjectInner algebrasen
dc.subjectOuter algebrasen
dc.subjectShared-variable concurrencyen
dc.subjectConcurrent Kleen Algebrasen
dc.titleThe Inner and Outer Algebras of Unified Concurrencyen
dc.typeJournal Articleen
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/butrfeld
dc.identifier.rssinternalid210067
dc.identifier.doihttp://dx.doi.org/10.1007/978-3-030-31038-7_8
dc.rights.ecaccessrightsopenAccess
dc.identifier.orcid_id0000-0002-2337-2101


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record