@inproceedings{2f3e42469665430a8e229d36f21c3ddb,
title = "Trace theory and the specification of concurrent systems",
abstract = "In this paper we show how trace theory can be used to describe the behaviour of {"}concurrent systems{"}. We present a short introduction to trace theory. We also discuss a program notation that specifies the trace set of a component. As an example we derive a solution for one of the problems of the STC Workshop [5].",
author = "A. Kaldewaij",
year = "1985",
doi = "10.1007/3-540-16047-7_48",
language = "English",
isbn = "3-540-16047-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "211--221",
editor = "B.T. Denvir and W.T. Harwood and M.I. Jackson",
booktitle = "The analysis of concurrent systems (Cambridge, UK, September 12-16, 1983)",
address = "Germany",
}