Journal article
A Precise Characterisation of Step Traces and Their Concurrent Histories
Abstract
Authors
Janicki R; Kleijn J; Mikulski L
Journal
Scientific Annals of Computer Science, Vol. 2018, No. 2, pp. 237–267
Publisher
Editura Universitatii Alexandru Ioan Cuza din Iasi
Publication Date
January 1, 2018
DOI
10.7561/sacs.2018.2.237
ISSN
1843-8121