A Precise Characterisation of Step Traces and Their Concurrent Histories

Author(s):: Janicki, R.; Kleijn, H.C.M. (0000-0001-9506-4071); Mikulski, L.

Published: 2018
Publication type: Article / Letter to editor

Date issued: 2018
Language: English
Is part of: Scientific Annals of Computer Science (2018), Vol. 28, no. 2, p. 237-267
hdl: 1887/68320
doi: 10.7561/SACS.2018.2.237