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 RathkeNo description supplied
History
Publication status
- Published
Journal
Theoretical Computer ScienceISSN
0304-3975External DOI
Issue
1-3Volume
338Page range
17-63Pages
47.0Department affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC