University of Sussex
Browse

File(s) not publicly available

A fully abstract may testing semantics for concurrent objects

journal contribution
posted on 2023-06-08, 07:58 authored by Alan Jeffrey, Julian Rathke
No description supplied

History

Publication status

  • Published

Journal

Theoretical Computer Science

ISSN

0304-3975

Issue

1-3

Volume

338

Page range

17-63

Pages

47.0

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC