Open Access
Open access
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
scimago Q2
SJR: 0.606
CiteScore: 2.6
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, 59.74%
Theoretical Computer Science
Theoretical Computer Science, 2, 2.6%
Information Processing Letters
Information Processing Letters, 2, 2.6%
Formal Aspects of Computing
Formal Aspects of Computing, 1, 1.3%
Electronic Notes in Theoretical Computer Science
Electronic Notes in Theoretical Computer Science, 1, 1.3%
International Journal of Algebra and Computation
International Journal of Algebra and Computation, 1, 1.3%
Distributed Computing
Distributed Computing, 1, 1.3%
Formal Methods in System Design
Formal Methods in System Design, 1, 1.3%
IEEE Transactions on Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing, 1, 1.3%
Logic Journal of the IGPL
Logic Journal of the IGPL, 1, 1.3%
Notre Dame Journal of Formal Logic
Notre Dame Journal of Formal Logic, 1, 1.3%
Electronic Proceedings in Theoretical Computer Science, EPTCS, 1, 1.3%
5
10
15
20
25
30
35
40
45
50

Publishers

5
10
15
20
25
30
35
40
45
50
Springer Nature
Springer Nature, 49, 63.64%
Elsevier
Elsevier, 5, 6.49%
Institute of Electrical and Electronics Engineers (IEEE)
Institute of Electrical and Electronics Engineers (IEEE), 5, 6.49%
World Scientific
World Scientific, 1, 1.3%
Oxford University Press
Oxford University Press, 1, 1.3%
Duke University Press
Duke University Press, 1, 1.3%
electronic proceedings in theoretical computer science, eptcs, 1, 1.3%
5
10
15
20
25
30
35
40
45
50
  • We do not take into account publications without a DOI.
  • Statistics recalculated only for publications connected to researchers, organizations and labs registered on the platform.
  • Statistics recalculated weekly.

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.
Share
Cite this
GOST | RIS | BibTex
Found error?