Toggle Main Menu Toggle Search

Open Access padlockePrints

Concurrency: Handling interference formally

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.

Publication metadata

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)

Year: 2018

Volume: 11180 LNCS

Pages: 26-43

Online publication date: 29/09/2018

Acceptance date: 02/04/2018

Publisher: Springer Verlag

Place Published: Cambridge, UK


DOI: 10.1007/978-3-030-01461-2_2

Library holdings: Search Newcastle University Library for this item

ISBN: 9783030014605