Browse by author
Lookup NU author(s): Professor Cliff Jones
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
© Springer Nature Switzerland AG 2018. Interference between threads makes it difficult to design concurrent programs. Faced with such a difficulty, it is reasonable to seek clarification and leverage from formality. Whereas powerful abstractions have been found for sequential programming languages, the inherent operational nature of interference infects attempts to describe it formally. Model-oriented (i.e. operational and denotational) and property-oriented (mainly axiomatic) descriptions of the semantics of programming languages that support shared-variable concurrency look totally different. This paper identifies the source of the challenge as accommodating interference and highlights some important connections between the approaches.
Author(s): Jones CB
Publication type: Book Chapter
Publication status: Published
Book Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume: 11180 LNCS
Online publication date: 29/09/2018
Acceptance date: 02/04/2018
Publisher: Springer Verlag
Place Published: Cambridge, UK
Library holdings: Search Newcastle University Library for this item