Mohammad Shamsul Arefin  , A.S. M. Mahfujur Rahman  , Mohammad Ali Akber Dewan  , S. M. Rafiqul Islam  , 
    Structural Operational Semantics of Thread in Java,
    Journal of Animal and Veterinary Advances,
    Volume 3,Issue 2,
    2004,
    Pages 69-76,
    ISSN 1680-5593,
    javaa.2004.69.76,
    (https://makhillpublications.co/view-article.php?doi=javaa.2004.69.76)
    Abstract: A good understanding of programming language can be developed and understood in a machine independent manner called structural operational semantics. It is a mathematical model for specifying the meaning of a language by defining the effect of a running program in terms of its structure. The emphasis of this work is to present the structural operational semantics of thread in Java.
    Keywords: