Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Specifying and Reasoning about Shared Variable Concurrency

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

Downloads

Licence

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

URL: https://doi.org/10.1007/978-3-031-40436-8_5

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

Share