Open Access
Lecture Notes in Computer Science, pages 285-363
Basic notions of trace theory
1
Polish Academy of Sciences, Institute of Computer Science, Warsaw
|
Publication type: Book Chapter
Publication date: 1989-01-01
Journal:
Lecture Notes in Computer Science
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
46 publications, 59.74%
|
|
|
Theoretical Computer Science
2 publications, 2.6%
|
|
|
Information Processing Letters
2 publications, 2.6%
|
|
|
Formal Aspects of Computing
1 publication, 1.3%
|
|
|
Electronic Notes in Theoretical Computer Science
1 publication, 1.3%
|
|
|
International Journal of Algebra and Computation
1 publication, 1.3%
|
|
|
Distributed Computing
1 publication, 1.3%
|
|
|
Formal Methods in System Design
1 publication, 1.3%
|
|
|
IEEE Transactions on Dependable and Secure Computing
1 publication, 1.3%
|
|
|
Logic Journal of the IGPL
1 publication, 1.3%
|
|
|
Notre Dame Journal of Formal Logic
1 publication, 1.3%
|
|
|
Electronic Proceedings in Theoretical Computer Science, EPTCS
1 publication, 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
49 publications, 63.64%
|
|
|
Elsevier
5 publications, 6.49%
|
|
|
Institute of Electrical and Electronics Engineers (IEEE)
5 publications, 6.49%
|
|
|
World Scientific
1 publication, 1.3%
|
|
|
Oxford University Press
1 publication, 1.3%
|
|
|
Duke University Press
1 publication, 1.3%
|
|
|
electronic proceedings in theoretical computer science, eptcs
1 publication, 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.
Metrics
Cite this
GOST |
RIS |
BibTex
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 -
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}
}