Conference
Introduction to process traces
Abstract
Mazurkiewicz's theory of traces is one of the popular theories that describe the behavior of concurrent systems. In this paper, we argue that this theory is not totally adequate for describing concurrent processes. We introduce process systems and ptraces, as well as P-expressions, which we consider can describe concurrent processes more adequately.
Authors
Ilie L; Yu S; Zhao Q
Volume
4
Pagination
pp. 1706-1712
Publication Date
December 1, 2003
Conference proceedings
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications