Open Access
Open access
Springer Nature
Lecture Notes in Computer Science
,  pages 285-363

Basic notions of trace theory

Antoni Mazurkiewicz 1
1
 
Polish Academy of Sciences, Institute of Computer Science, Warsaw | 
Publication type: Book Chapter
Publication date: 1989-01-01
Springer Nature
scimago Q2
SJR: 0.352
CiteScore: 2.4
Impact factor: —
ISSN: 03029743, 16113349, 18612075, 18612083
Abstract
The concept of traces has been introduced for describing non-sequential behaviour of concurrent systems via its sequential observations. Traces represent concurrent processes in the same way as strings represent sequential ones. The theory of traces can be used as a tool for reasoning about nets and it is hoped that applying this theory one can get a calculus of the concurrent processes analogous to that available for sequential systems. The following topics will be discussed: algebraic properties of traces, trace models of some concurrency phenomena, fixed-point calculus for finding the behaviour of nets, modularity, and some applications of the presented theory.
Found 
Found 

Top-30

Journals

5
10
15
20
25
30
35
40
45
50
Lecture Notes in Computer Science
Lecture Notes in Computer Science, 46, 57.5%
Lecture Notes in Computer Science
46 publications, 57.5%
Theoretical Computer Science
Theoretical Computer Science, 2, 2.5%
Theoretical Computer Science
2 publications, 2.5%
Information Processing Letters
Information Processing Letters, 2, 2.5%
Information Processing Letters
2 publications, 2.5%
Formal Aspects of Computing
Formal Aspects of Computing, 1, 1.25%
Formal Aspects of Computing
1 publication, 1.25%
Electronic Notes in Theoretical Computer Science
Electronic Notes in Theoretical Computer Science, 1, 1.25%
Electronic Notes in Theoretical Computer Science
1 publication, 1.25%
International Journal of Algebra and Computation
International Journal of Algebra and Computation, 1, 1.25%
International Journal of Algebra and Computation
1 publication, 1.25%
Distributed Computing
Distributed Computing, 1, 1.25%
Distributed Computing
1 publication, 1.25%
Formal Methods in System Design
Formal Methods in System Design, 1, 1.25%
Formal Methods in System Design
1 publication, 1.25%
Lisp and Symbolic Computation
Lisp and Symbolic Computation, 1, 1.25%
Lisp and Symbolic Computation
1 publication, 1.25%
IEEE Transactions on Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing, 1, 1.25%
IEEE Transactions on Dependable and Secure Computing
1 publication, 1.25%
Logic Journal of the IGPL
Logic Journal of the IGPL, 1, 1.25%
Logic Journal of the IGPL
1 publication, 1.25%
Notre Dame Journal of Formal Logic
Notre Dame Journal of Formal Logic, 1, 1.25%
Notre Dame Journal of Formal Logic
1 publication, 1.25%
Electronic Proceedings in Theoretical Computer Science, EPTCS, 1, 1.25%
Electronic Proceedings in Theoretical Computer Science, EPTCS
1 publication, 1.25%
Homology, Homotopy and Applications, 1, 1.25%
Homology, Homotopy and Applications
1 publication, 1.25%
5
10
15
20
25
30
35
40
45
50

Publishers

10
20
30
40
50
Springer Nature
Springer Nature, 50, 62.5%
Springer Nature
50 publications, 62.5%
Institute of Electrical and Electronics Engineers (IEEE)
Institute of Electrical and Electronics Engineers (IEEE), 12, 15%
Institute of Electrical and Electronics Engineers (IEEE)
12 publications, 15%
Elsevier
Elsevier, 7, 8.75%
Elsevier
7 publications, 8.75%
World Scientific
World Scientific, 1, 1.25%
World Scientific
1 publication, 1.25%
Oxford University Press
Oxford University Press, 1, 1.25%
Oxford University Press
1 publication, 1.25%
Duke University Press
Duke University Press, 1, 1.25%
Duke University Press
1 publication, 1.25%
electronic proceedings in theoretical computer science, eptcs, 1, 1.25%
electronic proceedings in theoretical computer science, eptcs
1 publication, 1.25%
International Press of Boston
International Press of Boston, 1, 1.25%
International Press of Boston
1 publication, 1.25%
10
20
30
40
50
  • We do not take into account publications without a DOI.
  • Statistics recalculated weekly.

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
80
Share
Cite this
GOST |
Cite this
GOST Copy
Mazurkiewicz A. Basic notions of trace theory // Lecture Notes in Computer Science. 1989. pp. 285-363.
GOST all authors (up to 50) Copy
Mazurkiewicz A. Basic notions of trace theory // Lecture Notes in Computer Science. 1989. pp. 285-363.
RIS |
Cite this
RIS Copy
TY - GENERIC
DO - 10.1007/BFb0013025
UR - https://doi.org/10.1007/BFb0013025
TI - Basic notions of trace theory
T2 - Lecture Notes in Computer Science
AU - Mazurkiewicz, Antoni
PY - 1989
DA - 1989/01/01
PB - Springer Nature
SP - 285-363
SN - 0302-9743
SN - 1611-3349
SN - 1861-2075
SN - 1861-2083
ER -
BibTex
Cite this
BibTex (up to 50 authors) Copy
@incollection{1989_Mazurkiewicz,
author = {Antoni Mazurkiewicz},
title = {Basic notions of trace theory},
publisher = {Springer Nature},
year = {1989},
pages = {285--363},
month = {jan}
}