In: Lecture Notes in Computer Science, Vol. 363: Logic at Botik'89, Proc. of the Symposium on Logical Foundations of Computer Science, pages 63-80. Springer-Verlag, 1989.
Also in: Kotov, V. E.: Methods of Theoretical and Experimental Computer Science, pages 107-128. Novosibirsc: Academy of Sciences, Siberian Division, Computing Center, 1989.
Abstract: The paper consists of two parts: The first one deals with the net formalism (OS-nets) to specify concurrent processes with synchronization; the second part of the paper is devoted to the algebra of finite concurrent processes and its axiomatization.