Axiomatic characterization of trace reachability for concurrent objects

Author(s):: Boer, F.S. de; Hiep, H.A. (0000-0001-9677-6644)

Editor(s):: Ahrendt, W.; Tapia Tarifa, S.

Published: 2019
Publication type: Article in monograph or in proceedings

Date issued: 2019
Language: English
Publisher: Cham: Springer
Is part of: Lecture Notes in Computer Science (2019), Pt. 11918, p. 157-174
ISBN source: 9783030349677
hdl: 1887/4038295
doi: 10.1007/978-3-030-34968-4_9

Conference

Meeting name: Integrated Formal Methods (iFM)
Meeting location: Bergen, Norway
Meeting date: 2019-12-02 - 2019-12-06