Proving linearizability of multiset with local proof obligations

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Oleg Travkin, Heike Wehrheim, Gerhard SchellhornGND
URN:urn:nbn:de:bvb:384-opus4-640840
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/64084
URL:https://journal.ub.tu-berlin.de/eceasst/article/view/795/0
Parent Title (English):Electronic Communications of the EASST
Publisher:TU Dortmund University
Place of publication:Dortmund
Type:Article
Language:English
Year of first Publication:2012
Publishing Institution:Universität Augsburg
Release Date:2019/10/25
Volume:53
DOI:https://doi.org/10.14279/tuj.eceasst.53.795
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):CC-BY 4.0: Creative Commons: Namensnennung (mit Print on Demand)