Toggle Main Menu Toggle Search

Open Access padlockePrints

Specifying and Reasoning about Shared Variable Concurrency

Lookup NU author(s): Professor Ian Hayes, Professor Cliff JonesORCiD



This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).

Publication metadata

Author(s): Hayes IJ, Jones CB, Meinicke LM

Editor(s): Bowen, J

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Theories of Programming and Formal Methods

Year of Conference: 2023

Pages: 110-135

Print publication date: 08/09/2023

Online publication date: 08/09/2023

Acceptance date: 19/07/2023

Date deposited: 18/09/2023

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-031-40436-8_5

ePrints DOI: 10.57711/2t97-kk23

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783031404351