Semi-traces and Their Application in Concurrency Control Problem

  • Hoang Chi Thanh
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5796)


The theory of traces was originated by A. Mazurkiewicz to model non-sequential behaviour of a distributed system. The normal form of a trace shows us an optimal way to execute a process occurred on the system. Nevertheless, the independence of actions in many systems is not static and depends on the history of the systems. To describe this fact, D. Kuske and R. Morin proposed a notion of local independence. Basing on the local independence, we introduce a notion of semi-trace, analyze its structure and the relationship between traces and semi-traces. Furthermore, we investigate some applications of semi-traces in concurrency control problem.


trace local independence concurrency control distributed system 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aalbersbeg, J.I., Rozenberg, G.: Theory of Traces. Theoretical Computer Science 60, 1–82 (1988)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Kuske, D., Morin, R.: Pomsets for Local Trace Languages. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 426–441. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  3. 3.
    Mazurkiewicz, A.: Concurrent Program Schemes and Their Interpretations, Aarhus Unviversity Publication, DAIMI PB-78 (1977)Google Scholar
  4. 4.
    Thanh, H.C.: Algorithms for finding the normal form of traces and synchronous traces. Journal of Computer Science and Cybernetics 17(1), 72–77 (2001)Google Scholar
  5. 5.
    Thanh, H.C.: Transforming sequential processes of a net system into concurrent ones. International Journal of Knowledge-based and Intelligent Engineering Systems 11(6), 391–397 (2007)CrossRefGoogle Scholar
  6. 6.
    Thiagarajan, P.S.: Some behavioural aspects of net theory. Theoretical Computer Science 71, 133–153 (1990)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Hoang Chi Thanh
    • 1
  1. 1.Department of InformaticsHanoi University of Science, VNUHHanoiVietnam

Personalised recommendations