Higher-Order Linearisability release_2mksk2lghvaondfoeq3bbvko5u

by Andrzej S. Murawski, Nikos Tzevelekos

Published in Journal of Logical and Algebraic Methods in Programming by Elsevier BV.

(2019)

Archived Files and Locations

application/pdf  1.0 MB
file_ebaxzflbcnf6vdp66qnlwzei7i
web.archive.org (webarchive)
ora.ox.ac.uk (web)
application/pdf  568.5 kB
file_be3asst2uzhgnenphktdfaksha
web.archive.org (webarchive)
qmro.qmul.ac.uk (web)
application/pdf  1.2 MB
file_mlp6pzgikzfetjiq7nzw7qutoq
web.archive.org (webarchive)
wrap.warwick.ac.uk (web)
Read Archived PDF
Archived
Type  article-journal
Stage   published
Year   2019
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registery
ISSN-L:  2352-2208
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 67d9250b-a617-452c-9907-25d1b0a1be0e
API URL: JSON