Experts has a new look! Let us know what you think of the updates.

Provide feedback
Home
Scholarly Works
A Precise Characterisation of Step Traces and...
Journal article

A Precise Characterisation of Step Traces and Their Concurrent Histories

Abstract

Intranet Wiki

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

DOI

10.7561/sacs.2018.2.237

ISSN

1843-8121