Trace theory and the specification of concurrent systems

A. Kaldewaij

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)


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].
Original languageEnglish
Title of host publicationThe analysis of concurrent systems (Cambridge, UK, September 12-16, 1983)
EditorsB.T. Denvir, W.T. Harwood, M.I. Jackson
Place of PublicationBerlin
Number of pages11
ISBN (Electronic)978-3-540-39731-1
ISBN (Print)3-540-16047-7, 978-3-540-16047-2
Publication statusPublished - 1985

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Trace theory and the specification of concurrent systems'. Together they form a unique fingerprint.

Cite this