The 15 references with contexts in paper A. Husainov A., E. Kudryashova S., А. Хусаинов А., Е. Кудряшова С. (2016) “Временные оценки и гомоморфизмы асинхронных систем // Timed estimates and homomorphisms of asynchronous systems” / spz:neicon:technomag:y:2014:i:1:p:134-149

1
Bednarczyk M.Categories of Asynchronous Systems. Brighton, University of Sussex, 1987.
Total in-text references: 2
  1. In-text reference with the coordinate start=216
    Prefix
    ¬ÂÏÂÌÌ ̊ ӈÂÌÍË Ë „ÓÏÓÏÓÙËÁÏ ̊ ‡ÒËÌıÓÌÌ ̊ı ÒËÒÚÂÏ # 01, ˇÌ‚‡ ̧ 2014 DOI:10.7463/0114.0695993 Û‰ˇ ̄Ó‚‡ ≈. —., ’ÛÒ‡ËÌÓ‚ ¿. ¿. ”ƒ 519.7 –ÓÒÒˡ, Ã√“” ËÏ. Õ.›. ¡‡Ûχ̇ ekatt@inbox.ru husainov51@yandex.ru ¬‚‰ÂÌË ¬ ‡·ÓÚÂ
    Exact
    [1]
    Suffix
    · ̊ÎË ‚‚‰ÂÌ ̊ ‡ÒËÌıÓÌÌ ̊ ÒËÒÚÂÏ ̊ ‰Îˇ ÏÓ‰ÂÎËÓ‚‡Ìˡ Ô‡‡ÎÎÂÎ ̧Ì ̊ı ‚ ̊ ̃ËÒÎËÚÂÎ ̧Ì ̊ı ÒËÒÚÂÏ. ¬ [1,2] ‡ÒÒχÚË‚‡ÎËÒ ̧ ͇Ú„ÓËË ‡ÒËÌıÓÌÌ ̊ı ÒËÒÚÂÏ. ÃÓÙËÁÏ ̊ ‡ÒËÌıÓÌÌ ̊ı ÒËÒÚÂÏ(S, s0, E, I, T ran)→(S′, s′0, E′, I′, T ran′)ÓÔ‰ÂΡÎËÒ ̧ Í‡Í Ô‡ ̊ ÓÚÓ·‡ÊÂÌËÈ(η, σ), ‚ ÍÓÚÓ ̊ıη:E ⇀ E′| ÌÂÍÓÚÓÓ ̃‡ÒÚË ̃ÌÓ ÓÚÓ·‡ÊÂÌË ÏÌÓÊÂÒÚ‚ ÒÓ· ̊ÚËÈ, ‡σ:S→S′| ÓÚÓ·‡ÊÂÌË ÏÌÓÊÂÒÚ‚ ÒÓÒÚÓˇÌËÈ, Û‰Ó‚ÎÂÚ‚Óˇ ̨

  2. In-text reference with the coordinate start=320
    Prefix
    —., ’ÛÒ‡ËÌÓ‚ ¿. ¿. ”ƒ 519.7 –ÓÒÒˡ, Ã√“” ËÏ. Õ.›. ¡‡Ûχ̇ ekatt@inbox.ru husainov51@yandex.ru ¬‚‰ÂÌË ¬ ‡·ÓÚ [1] · ̊ÎË ‚‚‰ÂÌ ̊ ‡ÒËÌıÓÌÌ ̊ ÒËÒÚÂÏ ̊ ‰Îˇ ÏÓ‰ÂÎËÓ‚‡Ìˡ Ô‡‡ÎÎÂÎ ̧Ì ̊ı ‚ ̊ ̃ËÒÎËÚÂÎ ̧Ì ̊ı ÒËÒÚÂÏ. ¬
    Exact
    [1,2]
    Suffix
    ‡ÒÒχÚË‚‡ÎËÒ ̧ ͇Ú„ÓËË ‡ÒËÌıÓÌÌ ̊ı ÒËÒÚÂÏ. ÃÓÙËÁÏ ̊ ‡ÒËÌıÓÌÌ ̊ı ÒËÒÚÂÏ(S, s0, E, I, T ran)→(S′, s′0, E′, I′, T ran′)ÓÔ‰ÂΡÎËÒ ̧ Í‡Í Ô‡ ̊ ÓÚÓ·‡ÊÂÌËÈ(η, σ), ‚ ÍÓÚÓ ̊ıη:E ⇀ E′| ÌÂÍÓÚÓÓ ̃‡ÒÚË ̃ÌÓ ÓÚÓ·‡ÊÂÌË ÏÌÓÊÂÒÚ‚ ÒÓ· ̊ÚËÈ, ‡σ:S→S′| ÓÚÓ·‡ÊÂÌË ÏÌÓÊÂÒÚ‚ ÒÓÒÚÓˇÌËÈ, Û‰Ó‚ÎÂÚ‚Óˇ ̨ ̆ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊Ï ÛÒÎӂˡÏ.

2
0 p. 2.Winskel G., Nielsen M. Models for Concurrency. In: Abramsky S., Gabbay D.M., Maibaum T.S.E. (eds.). Handbook of Logic in Computer Science. Vol. 4. Semantic Modelling. Oxford University Press, 1995, pp. 1{148.
Total in-text references: 2
  1. In-text reference with the coordinate start=320
    Prefix
    —., ’ÛÒ‡ËÌÓ‚ ¿. ¿. ”ƒ 519.7 –ÓÒÒˡ, Ã√“” ËÏ. Õ.›. ¡‡Ûχ̇ ekatt@inbox.ru husainov51@yandex.ru ¬‚‰ÂÌË ¬ ‡·ÓÚ [1] · ̊ÎË ‚‚‰ÂÌ ̊ ‡ÒËÌıÓÌÌ ̊ ÒËÒÚÂÏ ̊ ‰Îˇ ÏÓ‰ÂÎËÓ‚‡Ìˡ Ô‡‡ÎÎÂÎ ̧Ì ̊ı ‚ ̊ ̃ËÒÎËÚÂÎ ̧Ì ̊ı ÒËÒÚÂÏ. ¬
    Exact
    [1,2]
    Suffix
    ‡ÒÒχÚË‚‡ÎËÒ ̧ ͇Ú„ÓËË ‡ÒËÌıÓÌÌ ̊ı ÒËÒÚÂÏ. ÃÓÙËÁÏ ̊ ‡ÒËÌıÓÌÌ ̊ı ÒËÒÚÂÏ(S, s0, E, I, T ran)→(S′, s′0, E′, I′, T ran′)ÓÔ‰ÂΡÎËÒ ̧ Í‡Í Ô‡ ̊ ÓÚÓ·‡ÊÂÌËÈ(η, σ), ‚ ÍÓÚÓ ̊ıη:E ⇀ E′| ÌÂÍÓÚÓÓ ̃‡ÒÚË ̃ÌÓ ÓÚÓ·‡ÊÂÌË ÏÌÓÊÂÒÚ‚ ÒÓ· ̊ÚËÈ, ‡σ:S→S′| ÓÚÓ·‡ÊÂÌË ÏÌÓÊÂÒÚ‚ ÒÓÒÚÓˇÌËÈ, Û‰Ó‚ÎÂÚ‚Óˇ ̨ ̆ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊Ï ÛÒÎӂˡÏ.

  2. In-text reference with the coordinate start=3407
    Prefix
    ÂÒÎË(a, b)∈I& (s, a, s′)∈T ran& (s′, b, s′′)∈T ran, ÚÓ ÒÛ ̆ÂÒÚ‚ÛÂÚ Ú‡ÍÓÈs1∈S, ̃ÚÓ (s, b, s1)∈T ran& (s1, a, s′′)∈T ran(ËÒ.1).ËÒ.1 ›ÎÂÏÂÌÚ ̊ ËÁṠÁ ̊‚‡ ̨ÚÒˇÒÓÒÚÓˇÌˡÏË, ËÁE|ÒÓ· ̊ÚˡÏË,I⊆E×E|ÓÚÌÓ ̄ÂÌËÂÏ ÌÂÁ‡‚ËÒËÏÓÒÚË, ̋ÎÂÏÂÌÚ ̊(s, a, s′)∈T ran| ÔÂÂıÓ‰‡ÏË. –ËÒ. 1.—‚ÓÈÒÚ‚Ó 2 œÓÒÚ‡ÌÒÚ‚Ó ÒÓÒÚÓˇÌËÈ ÏÓÊÌÓ ‡ÒÒχÚË‚‡Ú ̧ Í‡Í ÏÌÓÊÂÒÚ‚ÓSÒ ̃‡ÒÚË ̃Ì ̊Ï ‰ÂÈÒÚ‚ËÂÏ ÏÓÌÓˉ‡ Ú‡ÒÒM(E, I). ’ÓÓ ̄Ó ËÁ‚ÂÒÚÌÓ
    Exact
    [2]
    Suffix
    , ̃ÚÓ ̃‡ÒÚË ̃ÌÓ ÓÚÓ·‡ÊÂÌËÂf:A ⇀ BÏÓÊÌÓ ‡ÒÒχÚË‚‡Ú ̧ Í‡Í ÚÓڇΠ̧ÌÓÂ̂f:A∪{∗}→B∪{∗}, ‰Ó·‡‚Ρˇ Í Í‡Ê‰ÓÏÛ ÏÌÓÊÂÒÚ‚Û <·ÂÒÍÓÌ ̃ÌÓ Û‰‡ÎÂÌÌÛ ̨> ÚÓ ̃ÍÛ∗Ë ÔÓ·„‡ˇ ‰Îˇx∈A f̂(x) = { f(x),ÂÒÎËf(x)ÓÔ‰ÂÎÂÌÓ; ∗,‚ ‰Û„Ëı ÒÎÛ ̃‡ˇı. ƒÎˇx=∗ÔÓÎÓÊËÏ̂f(x) =∗. œÓÎÓÊËÏA∗=A∪{∗}.

3
Bednarczyk M.A., Bernardinello L., Caillaud B., Pawlowski W., Pomello L. Modular System Development with Pullbacks. In: Applications and Theory of Petri Nets 2003. Berlin, SpringerVerlag, 2003, pp. 140{160. DOI: 10.1007/3-540-44919-112 (Ser. Lecture Notes in Computer Science; vol. 2679).
Total in-text references: 1
  1. In-text reference with the coordinate start=660
    Prefix
    ÃÓÙËÁÏ ̊ ‡ÒËÌıÓÌÌ ̊ı ÒËÒÚÂÏ(S, s0, E, I, T ran)→(S′, s′0, E′, I′, T ran′)ÓÔ‰ÂΡÎËÒ ̧ Í‡Í Ô‡ ̊ ÓÚÓ·‡ÊÂÌËÈ(η, σ), ‚ ÍÓÚÓ ̊ıη:E ⇀ E′| ÌÂÍÓÚÓÓ ̃‡ÒÚË ̃ÌÓ ÓÚÓ·‡ÊÂÌË ÏÌÓÊÂÒÚ‚ ÒÓ· ̊ÚËÈ, ‡σ:S→S′| ÓÚÓ·‡ÊÂÌË ÏÌÓÊÂÒÚ‚ ÒÓÒÚÓˇÌËÈ, Û‰Ó‚ÎÂÚ‚Óˇ ̨ ̆ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊Ï ÛÒÎӂˡÏ. ¬ ‡·ÓÚÂ
    Exact
    [3]
    Suffix
    ËÒÒΉӂ‡ÎËÒ ̧ ÏÓÙËÁÏ ̊, ‚ ÍÓÚÓ ̊ıηÒÓÔÓÒÚ‡‚ΡÂÚ Í‡Ê‰ÓÏÛ ÒÓ· ̊ÚË ̨ ÔÓËÁ‚‰ÂÌË ÔÓÔ‡ÌÓ ÌÂÁ‡‚ËÒËÏ ̊ı ÒÓ· ̊ÚËÈ. ¬ ‰‡ÌÌÓÈ ‡·ÓÚÂ Ï ̊ ËÁÛ ̃‡ÂÏ ÏÓÙËÁÏ ̊, ‚‚‰ÂÌÌ ̊ ‚ ‡·ÓÚ [4] Ë ÔËÏÂÌÂÌÌ ̊ ‚ [5] ‰Îˇ ÓˆÂÌÍË ÔÓËÁ‚Ó‰ËÚÂÎ ̧ÌÓÒÚË Ô‡‡ÎÎÂÎ ̧Ì ̊ı ‚ ̊ ̃ËÒÎËÚÂÎ ̧Ì ̊ı ÒËÒÚÂÏ.

4
Husainov A. On the homology of small categories and asynchronous transition systems. Homology, Homotopy and Applications, 2004, vol. 6, no. 1, pp. 439{471. Available at: http://projecteuclid.org/euclid.hha/1139839561, accessed 01.12.2013.
Total in-text references: 1
  1. In-text reference with the coordinate start=836
    Prefix
    I′, T ran′)ÓÔ‰ÂΡÎËÒ ̧ Í‡Í Ô‡ ̊ ÓÚÓ·‡ÊÂÌËÈ(η, σ), ‚ ÍÓÚÓ ̊ıη:E ⇀ E′| ÌÂÍÓÚÓÓ ̃‡ÒÚË ̃ÌÓ ÓÚÓ·‡ÊÂÌË ÏÌÓÊÂÒÚ‚ ÒÓ· ̊ÚËÈ, ‡σ:S→S′| ÓÚÓ·‡ÊÂÌË ÏÌÓÊÂÒÚ‚ ÒÓÒÚÓˇÌËÈ, Û‰Ó‚ÎÂÚ‚Óˇ ̨ ̆ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊Ï ÛÒÎӂˡÏ. ¬ ‡·ÓÚ [3] ËÒÒΉӂ‡ÎËÒ ̧ ÏÓÙËÁÏ ̊, ‚ ÍÓÚÓ ̊ıηÒÓÔÓÒÚ‡‚ΡÂÚ Í‡Ê‰ÓÏÛ ÒÓ· ̊ÚË ̨ ÔÓËÁ‚‰ÂÌË ÔÓÔ‡ÌÓ ÌÂÁ‡‚ËÒËÏ ̊ı ÒÓ· ̊ÚËÈ. ¬ ‰‡ÌÌÓÈ ‡·ÓÚÂ Ï ̊ ËÁÛ ̃‡ÂÏ ÏÓÙËÁÏ ̊, ‚‚‰ÂÌÌ ̊ ‚ ‡·ÓÚÂ
    Exact
    [4]
    Suffix
    Ë ÔËÏÂÌÂÌÌ ̊ ‚ [5] ‰Îˇ ÓˆÂÌÍË ÔÓËÁ‚Ó‰ËÚÂÎ ̧ÌÓÒÚË Ô‡‡ÎÎÂÎ ̧Ì ̊ı ‚ ̊ ̃ËÒÎËÚÂÎ ̧Ì ̊ı ÒËÒÚÂÏ. ›ÚË ÏÓÙËÁÏ ̊ Á‡‰‡ ̨ÚÒˇ Í‡Í Ô‡ ̊(η, σ), ‚ ÍÓÚÓ ̊ıηÒÓÔÓÒÚ‡‚ΡÂÚ Í‡Ê‰ÓÏÛ ÒÓ· ̊ÚË ̨ ÌÂÍÓÚÓÛ ̨ Ú‡ÒÒÛ Ë ÏÓÊÂÚ ËÌÚÂÔÂÚËÓ‚‡Ú ̧Òˇ Í‡Í ‡ÁÎÓÊÂÌË ÒÓ· ̊Úˡ ‚ ÍÓÏÔÓÁËˆË ̨ ÓÔÂ‡ˆËÈ.

5
Khusainov A.A., Kudryashova E.S. Model' dlya vremennykh otsenok parallel'nykh vychislitel'nykh sistem [Model for time estimate of parallel computing systems]. Informatsionnye tekhnologii 21 veka: materialy mezhdunarodnoy nauchnoy konferentsii [Information Technologies of 21 Century: Proceedings of the International Scientific Conference], Khabarovsk, 20-24 May 2013. Khabarovsk, Pacific National University Publ., 2013, pp. 203{207.
Total in-text references: 1
  1. In-text reference with the coordinate start=857
    Prefix
    ¬ ‡·ÓÚ [3] ËÒÒΉӂ‡ÎËÒ ̧ ÏÓÙËÁÏ ̊, ‚ ÍÓÚÓ ̊ıηÒÓÔÓÒÚ‡‚ΡÂÚ Í‡Ê‰ÓÏÛ ÒÓ· ̊ÚË ̨ ÔÓËÁ‚‰ÂÌË ÔÓÔ‡ÌÓ ÌÂÁ‡‚ËÒËÏ ̊ı ÒÓ· ̊ÚËÈ. ¬ ‰‡ÌÌÓÈ ‡·ÓÚÂ Ï ̊ ËÁÛ ̃‡ÂÏ ÏÓÙËÁÏ ̊, ‚‚‰ÂÌÌ ̊ ‚ ‡·ÓÚ [4] Ë ÔËÏÂÌÂÌÌ ̊ ‚
    Exact
    [5]
    Suffix
    ‰Îˇ ÓˆÂÌÍË ÔÓËÁ‚Ó‰ËÚÂÎ ̧ÌÓÒÚË Ô‡‡ÎÎÂÎ ̧Ì ̊ı ‚ ̊ ̃ËÒÎËÚÂÎ ̧Ì ̊ı ÒËÒÚÂÏ. ›ÚË ÏÓÙËÁÏ ̊ Á‡‰‡ ̨ÚÒˇ Í‡Í Ô‡ ̊(η, σ), ‚ ÍÓÚÓ ̊ıηÒÓÔÓÒÚ‡‚ΡÂÚ Í‡Ê‰ÓÏÛ ÒÓ· ̊ÚË ̨ ÌÂÍÓÚÓÛ ̨ Ú‡ÒÒÛ Ë ÏÓÊÂÚ ËÌÚÂÔÂÚËÓ‚‡Ú ̧Òˇ Í‡Í ‡ÁÎÓÊÂÌË ÒÓ· ̊Úˡ ‚ ÍÓÏÔÓÁËˆË ̨ ÓÔÂ‡ˆËÈ.

6
Cartier P., Foata D. Probl-emes combinatories de commutation et r-earrangements. Berlin, Springer-Verlag, 1969. 88 p. (Ser. Lecture Notes in Math.; vol. 85).
Total in-text references: 2
  1. In-text reference with the coordinate start=2683
    Prefix
    ‰ ÒÎÓ‚ ‡ÎÙ‡‚ËÚ‡E, ‚ÍÎ ̨ ̃‡ ̨ ̆ËÈ ÔÛÒÚÓ ÒÎÓ‚Ó1. ƒÎˇ ÔÓËÁ‚ÓÎ ̧ÌÓ„Ó ÓÚÌÓ ̄ÂÌˡ ÌÂÁ‡‚ËÒËÏÓÒÚËİEÓÔ‰ÂÎÂÌ ÏÓÌÓˉM(E, I), ‡‚Ì ̊È Ù‡ÍÚÓ-ÏÓÌÓË‰Û ÏÓÌÓˉ‡ ÒÎÓ‚E∗, ÔÓÎÛ ̃ÂÌÌÓ„Ó ÓÚÓʉÂÒÚ‚ÎÂÌËÂÏ ÒÎÓ‚, ÓÚÎË ̃‡ ̨ ̆ËıÒˇ ÔÂÂÒÚ‡ÌÓ‚ÍÓÈ ˇ‰ÓÏ ÒÚÓˇ ̆Ëı ÌÂÁ‡‚ËÒËÏ ̊ı ·ÛÍ‚. ›ÚÓÚ ÏÓÌÓˉ ̇Á ̊‚‡ÂÚÒˇÒ‚Ó·Ó‰Ì ̊Ï ̃‡ÒÚË ̃ÌÓ ÍÓÏÏÛÚ‡ÚË‚Ì ̊ÏËÎËÏÓÌÓˉÓÏ Ú‡ÒÒ. ŒÌ · ̊Î ‚‚‰ÂÌ Ë ËÒÒΉӂ‡Ì ‚ ‡·ÓÚ œ. ‡Ú ̧Â Ë ƒ. ‘Ó‡Ú ̊
    Exact
    [6]
    Suffix
    . »ÏÂÂÚ ÏÌÓ„Ó ̃ËÒÎÂÌÌ ̊ ÔËÎÓÊÂÌˡ ‚ Ô‡‡ÎÎÂÎ ̧ÌÓÏ ÔÓ„‡ÏÏËÓ‚‡ÌËË [7,8,9]. œÓÒÚ‡ÌÒÚ‚‡ ÒÓÒÚÓˇÌËÈ.œÓÒÚ‡ÌÒÚ‚Ó ÒÓÒÚÓˇÌËÈ(S, E, I, T ran)ÒÓÒÚÓËÚ ËÁ ÔÓËÁ‚ÓÎ ̧Ì ̊ı ÏÌÓÊÂÒÚ‚S,E, ÒËÏÏÂÚË ̃ÌÓ„Ó ‡ÌÚËÂÙÎÂÍÒË‚ÌÓ„Ó ÓÚÌÓ ̄ÂÌˡI⊆E×EË ÏÌÓÊÂÒÚ‚‡T ran⊆S×E×S, ӷ·‰‡ ̨ ̆Ëı Ò‚ÓÈÒÚ‚‡ÏË: 1) ÂÒÎË(s, a, s′)∈T ran& (s, a, s′′)∈T ran, ÚÓs′=s′′; 2) ÂÒÎË(a, b)∈I& (s, a, s′)∈T ran& (s′, b, s′′)∈T ran, ÚÓ ÒÛ ̆ÂÒÚ‚ÛÂÚ Ú

  2. In-text reference with the coordinate start=8099
    Prefix
    ŒÌ‡ ̇Á ̊‚‡ÂÚÒˇÌÓχΠ̧ÌÓÈ ÙÓÏÓÈ ‘Ó‡Ú ̊,  ‰ËÌÒÚ‚ÂÌÌÓÒÚ ̧ Ï ̊ ÛÒÚ‡ÌÓ‚ËÏ ÌËÊ (ÒΉÒÚ‚ËÂ1). Õ‡ÔËÏÂ, ‰Îˇ Í·ÒÒ‡[abba]‚ ÔÓÓʉÂÌÌÓÏ ‰‚ÛÏˇ ̋ÎÂÏÂÌÚ‡ÏË{a, b}ÏÓÌÓˉ Ú‡ÒÒ ÌÓχΠ̧̇ˇ ÙÓχ ‘Ó‡Ú ̊ ·Û‰ÂÚ ‡‚̇abab. œ‰ÎÓÊÂÌË 2.
    Exact
    [6]
    Suffix
    . ƒÎˇ Î ̨·Ó„Ó[w]∈M(E, I)ÒÛ ̆ÂÒÚ‚ÛÂÚ Â‰ËÌÒÚ‚ÂÌ̇ˇ ÔÓÒΉӂ‡ÚÂÎ ̧ÌÓÒÚ ̧ ÒÎÓ‚w1, . . . , wn, ͇ʉÓ ËÁ ÍÓÚÓ ̊ı ÒÓÒÚÓËÚ ËÁ ÔÓÔ‡ÌÓ ÌÂÁ‡‚ËÒËÏ ̊ı ·ÛÍ‚, Ú‡ÍËı, ̃ÚÓ[w] = [w1]···[wn]·Û‰ÂÚ ‡ÁÎÓÊÂÌËÂÏ ‘Ó‡Ú ̊.

7
Diekert V. Combinatorics on Traces. Berlin, Springer-Verlag, 1990. 169 p. DOI: 10.1007/3540-53031-2 (Ser. Lecture Notes in Computer Science; vol. 454).
Total in-text references: 2
  1. In-text reference with the coordinate start=2755
    Prefix
    ›ÚÓÚ ÏÓÌÓˉ ̇Á ̊‚‡ÂÚÒˇÒ‚Ó·Ó‰Ì ̊Ï ̃‡ÒÚË ̃ÌÓ ÍÓÏÏÛÚ‡ÚË‚Ì ̊ÏËÎËÏÓÌÓˉÓÏ Ú‡ÒÒ. ŒÌ · ̊Î ‚‚‰ÂÌ Ë ËÒÒΉӂ‡Ì ‚ ‡·ÓÚ œ. ‡Ú ̧Â Ë ƒ. ‘Ó‡Ú ̊ [6]. »ÏÂÂÚ ÏÌÓ„Ó ̃ËÒÎÂÌÌ ̊ ÔËÎÓÊÂÌˡ ‚ Ô‡‡ÎÎÂÎ ̧ÌÓÏ ÔÓ„‡ÏÏËÓ‚‡ÌËË
    Exact
    [7,8,9]
    Suffix
    . œÓÒÚ‡ÌÒÚ‚‡ ÒÓÒÚÓˇÌËÈ.œÓÒÚ‡ÌÒÚ‚Ó ÒÓÒÚÓˇÌËÈ(S, E, I, T ran)ÒÓÒÚÓËÚ ËÁ ÔÓËÁ‚ÓÎ ̧Ì ̊ı ÏÌÓÊÂÒÚ‚S,E, ÒËÏÏÂÚË ̃ÌÓ„Ó ‡ÌÚËÂÙÎÂÍÒË‚ÌÓ„Ó ÓÚÌÓ ̄ÂÌˡI⊆E×EË ÏÌÓÊÂÒÚ‚‡T ran⊆S×E×S, ӷ·‰‡ ̨ ̆Ëı Ò‚ÓÈÒÚ‚‡ÏË: 1) ÂÒÎË(s, a, s′)∈T ran& (s, a, s′′)∈T ran, ÚÓs′=s′′; 2) ÂÒÎË(a, b)∈I& (s, a, s′)∈T ran& (s′, b, s′′)∈T ran, ÚÓ ÒÛ ̆ÂÒÚ‚ÛÂÚ Ú‡ÍÓÈs1∈S, ̃ÚÓ (s, b, s1)∈T ran& (s1, a, s′′)∈T ran(ËÒ.1).

  2. In-text reference with the coordinate start=9954
    Prefix
    ≈ÒÎË ÌÂÍÓÚÓ‡ˇ ·ÛÍ‚‡ ËÁwi Ì Á‡‚ËÒËχ ÒÓ ‚ÒÂÏË ·ÛÍ‚‡ÏË ËÁwi−1, ÚÓ ÔË ÔÓÒÚÓÂÌËË ‡ÁÎÓÊÂÌˡ ‘Ó‡Ú ̊ Ó̇ ÔÂÂȉÂÚ ‚ Ó‰ËÌ ËÁ ·ÎÓÍÓ‚wj, „‰Âj < i. ÓÎË ̃ÂÒÚ‚Ó ·ÎÓÍÓ‚ ÓÚ ̋ÚÓ„Ó ÔÂÂÏ ̆ÂÌˡ Ì ۂÂÎË ̃ËÚÒˇ. œÓ ̋ÚÓÏÛ ̃ËÒÎÓ ˇÛÒÓ‚ ‚ ‡ÁÎÓÊÂÌËË ‘Ó‡Ú ̊ Ì ÏÂÌ ̧ ̄Â, ̃ÂÏn.I œ‰ÎÓÊÂÌË 3.
    Exact
    [7]
    Suffix
    .≈ÒÎË ‚ÂÏˇ ‚ ̊ÔÓÎÌÂÌˡ Í‡Ê‰Ó„Ó ÒÓ· ̊Úˡ ‡‚ÌÓ1, ÚÓ ÏËÌËχΠ̧ÌÓ ‚ÂÏˇ ‚ ̊ÔÓÎÌÂÌˡ Ú‡ÒÒ ̊ ‡‚ÌÓ ‚ ̊ÒÓڠ ÌÓχΠ̧ÌÓÈ ÙÓÏ ̊ ‘Ó‡Ú ̊. œ˂‰ÂÌË Ú‡ÒÒ ̊ Í ÌÓχΠ̧ÌÓÈ ÙÓÏ ‘Ó‡Ú ̊ ‡Ì‡ÎÓ„Ë ̃ÌÓ ÔÓÒÚÓÂÌË ̨ ͇ÌÓÌË ̃ÂÒÍÓÈ ˇÛÒÌÓ-Ô‡‡ÎÎÂÎ ̧ÌÓÈ ÌÓχΠ̧ÌÓÈ ÙÓÏ ̊ [11,12]. œÓÒÚÓÂÌË χÚÂχÚË ̃ÂÒÍÓÈ ÏÓ‰ÂÎË ‰Îˇ ‡Ò ̃ÂÚ‡ ‚ÂÏÂÌË.

8
Diekert V., M-etivier Y. Partial Commutation and Traces. In: Handbook of Formal Languages. Vol. 3. Beyond Words. New York, Springer-Verlag, 1997, pp. 457{533. DOI: 10.1007/978-3642-59126-68.
Total in-text references: 1
  1. In-text reference with the coordinate start=2755
    Prefix
    ›ÚÓÚ ÏÓÌÓˉ ̇Á ̊‚‡ÂÚÒˇÒ‚Ó·Ó‰Ì ̊Ï ̃‡ÒÚË ̃ÌÓ ÍÓÏÏÛÚ‡ÚË‚Ì ̊ÏËÎËÏÓÌÓˉÓÏ Ú‡ÒÒ. ŒÌ · ̊Î ‚‚‰ÂÌ Ë ËÒÒΉӂ‡Ì ‚ ‡·ÓÚ œ. ‡Ú ̧Â Ë ƒ. ‘Ó‡Ú ̊ [6]. »ÏÂÂÚ ÏÌÓ„Ó ̃ËÒÎÂÌÌ ̊ ÔËÎÓÊÂÌˡ ‚ Ô‡‡ÎÎÂÎ ̧ÌÓÏ ÔÓ„‡ÏÏËÓ‚‡ÌËË
    Exact
    [7,8,9]
    Suffix
    . œÓÒÚ‡ÌÒÚ‚‡ ÒÓÒÚÓˇÌËÈ.œÓÒÚ‡ÌÒÚ‚Ó ÒÓÒÚÓˇÌËÈ(S, E, I, T ran)ÒÓÒÚÓËÚ ËÁ ÔÓËÁ‚ÓÎ ̧Ì ̊ı ÏÌÓÊÂÒÚ‚S,E, ÒËÏÏÂÚË ̃ÌÓ„Ó ‡ÌÚËÂÙÎÂÍÒË‚ÌÓ„Ó ÓÚÌÓ ̄ÂÌˡI⊆E×EË ÏÌÓÊÂÒÚ‚‡T ran⊆S×E×S, ӷ·‰‡ ̨ ̆Ëı Ò‚ÓÈÒÚ‚‡ÏË: 1) ÂÒÎË(s, a, s′)∈T ran& (s, a, s′′)∈T ran, ÚÓs′=s′′; 2) ÂÒÎË(a, b)∈I& (s, a, s′)∈T ran& (s′, b, s′′)∈T ran, ÚÓ ÒÛ ̆ÂÒÚ‚ÛÂÚ Ú‡ÍÓÈs1∈S, ̃ÚÓ (s, b, s1)∈T ran& (s1, a, s′′)∈T ran(ËÒ.1).

9
Mazurkiewicz A. Trace theory. In: Petri Nets: Applications and Relationships to Other Models of Concurrency. Berlin, Springer-Verlag, 1987, pp. 278{324. DOI: 10.1007/3-540-17906-230 (Ser. Lecture Notes in Computer Science; vol. 255).
Total in-text references: 1
  1. In-text reference with the coordinate start=2755
    Prefix
    ›ÚÓÚ ÏÓÌÓˉ ̇Á ̊‚‡ÂÚÒˇÒ‚Ó·Ó‰Ì ̊Ï ̃‡ÒÚË ̃ÌÓ ÍÓÏÏÛÚ‡ÚË‚Ì ̊ÏËÎËÏÓÌÓˉÓÏ Ú‡ÒÒ. ŒÌ · ̊Î ‚‚‰ÂÌ Ë ËÒÒΉӂ‡Ì ‚ ‡·ÓÚ œ. ‡Ú ̧Â Ë ƒ. ‘Ó‡Ú ̊ [6]. »ÏÂÂÚ ÏÌÓ„Ó ̃ËÒÎÂÌÌ ̊ ÔËÎÓÊÂÌˡ ‚ Ô‡‡ÎÎÂÎ ̧ÌÓÏ ÔÓ„‡ÏÏËÓ‚‡ÌËË
    Exact
    [7,8,9]
    Suffix
    . œÓÒÚ‡ÌÒÚ‚‡ ÒÓÒÚÓˇÌËÈ.œÓÒÚ‡ÌÒÚ‚Ó ÒÓÒÚÓˇÌËÈ(S, E, I, T ran)ÒÓÒÚÓËÚ ËÁ ÔÓËÁ‚ÓÎ ̧Ì ̊ı ÏÌÓÊÂÒÚ‚S,E, ÒËÏÏÂÚË ̃ÌÓ„Ó ‡ÌÚËÂÙÎÂÍÒË‚ÌÓ„Ó ÓÚÌÓ ̄ÂÌˡI⊆E×EË ÏÌÓÊÂÒÚ‚‡T ran⊆S×E×S, ӷ·‰‡ ̨ ̆Ëı Ò‚ÓÈÒÚ‚‡ÏË: 1) ÂÒÎË(s, a, s′)∈T ran& (s, a, s′′)∈T ran, ÚÓs′=s′′; 2) ÂÒÎË(a, b)∈I& (s, a, s′)∈T ran& (s′, b, s′′)∈T ran, ÚÓ ÒÛ ̆ÂÒÚ‚ÛÂÚ Ú‡ÍÓÈs1∈S, ̃ÚÓ (s, b, s1)∈T ran& (s1, a, s′′)∈T ran(ËÒ.1).

10
Khusainov A. Issledovanie parallel'nykh sistem metodami teorii kategoriy [Parallel systems using the theory of categories analysis]. LAP LAMBERT Academic Publishing, Saarbruken, 2012. 152 p. (in Russian)
Total in-text references: 1
  1. In-text reference with the coordinate start=4509
    Prefix
    ̄ÂÌËˇÏ •(∀s∈S∗)(∀μ1∈M(E, I))(∀μ2∈M(E, I)) (s·μ1)·μ2=s·(μ1μ2); •(∀s∈S∗)s·1 =s; •(∀μ∈M(E, I))∗·μ=∗. ¬ ̃‡ÒÚÌÓÒÚË, ͇ʉÓ Ô‡‚ÓÂM(E, I)-ÏÌÓÊÂÒÚ‚Ó ÏÓÊÌÓ ‡ÒÒχÚË‚‡Ú ̧ Í‡Í ÔÛÌÍÚËÓ‚‡ÌÌ ̊È ÔÓÎË„ÓÌ Ì‡‰ ÏÓÌÓˉÓÏ Ú‡ÒÒ, ‰Ó·‡‚Ρˇ Í ÏÌÓÊÂÒÚ‚Û ÒÓÒÚÓˇÌËÈ ÒÓÒÚÓˇÌËÂ∗Ë ÓÔ‰ÂΡˇ ̇ ÌÂÏ ‰ÂÈÒÚ‚Ë ͇Í∗·μ=∗. —ÓÓÚÌÓ ̄ÂÌˡ ÔÓ͇Á ̊‚‡ ̨Ú, ̃ÚÓ ‰ÂÈÒڂˡ(s, a)7→s·a‰ÓÒÚ‡ÚÓ ̃ÌÓ ÓÔ‰ÂÎËÚ ̧ ‰Îˇ ‚ÒÂı s∈S∗Ëa∈E. œ‰ÎÓÊÂÌË 1.
    Exact
    [10, “ÂÓÂχ 2.3.5]
    Suffix
    . œÛÒÚ ̧(S∗, M(E, I),·)| ÔÛÌÍÚËÓ‚‡ÌÌ ̊È ÔÓÎË„ÓÌ Ì‡‰ ÏÓÌÓˉÓÏ Ú‡ÒÒ. œÓÎÓÊËÏ T ran={(s, a, s′)|s∈S, s′∈S, s·a=s′}. “Ó„‰‡ ̃ÂÚ‚Â͇(S, E, I, T ran)·Û‰ÂÚ ÔÓÒÚ‡ÌÒÚ‚ÓÏ ÒÓÒÚÓˇÌËÈ. » ̇ӷÓÓÚ, ‚ÒˇÍÓÏÛ ÔÓÒÚ‡ÌÒÚ‚Û ÒÓÒÚÓˇÌËÈ(S, E, I, T ran)·Û‰ÂÚ ÒÓÓÚ‚ÂÚÒÚ‚Ó‚‡Ú ̧ ÔÛÌÍÚËÓ‚‡ÌÌ ̊È ÔÓÎË„ÓÌ (S∗, M(E, I),·)Ò ‰ÂÈÒÚ‚ËÂÏs·a, ÓÔ‰ÂÎÂÌÌ ̊Ï ‰Îˇ ‚ÒÂıs∈S∗Ëe∈EÔÓ ÙÓÏÛΠs·a= { s′,ÂÒÎË ÒÛ ̆ÂÒÚ‚ÛÂÚ Ú‡ÍÓÈs′∈S, ̃ÚÓ

11
Voevodin V.V., Voevodin Vl.V. Parallel'nye vychisleniya [Concurrent calculatios]. St. Petersburg, BHV-Petersburg, 2002. 602 p.
Total in-text references: 2
  1. In-text reference with the coordinate start=6138
    Prefix
    ¿ÒËÌıÓÌ̇ˇ ÒËÒÚÂχ Ò ÙÛÌ͈ËÂÈ ‚ÂÏÂÌË ƒÎˇ ‡ÒÔ‡‡ÎÎÂÎË‚‡Ìˡ ‚ ̊ ̃ËÒÎËÚÂÎ ̧ÌÓ„Ó ÔÓˆÂÒÒ‡ ̋ÚÓÚ ÔÓˆÂÒÒ Ò̇ ̃‡Î‡ ‡Á·„‡ ̨Ú ‚ ÍÓÏÔÓÁËˆË ̨ ÍÓÌ ̃ÌÓÈ ÔÓÒΉӂ‡ÚÂÎ ̧ÌÓÒÚË ÓÔÂ‡ÚÓÓ‚, Á‡ÚÂÏ Ì‡ıÓ‰ˇÚ Ô‡ ̊ ÌÂÁ‡‚ËÒËÏ ̊ı ÓÔÂ‡ÚÓÓ‚ Ë Ó· ̇‰ËÌˇ ̨Ú ÌÂÁ‡‚ËÒËÏ ̊ ÓÔÂ‡ÚÓ ̊ ‚ ·ÎÓÍË-ˇÛÒ ̊ Ô‡‡ÎÎÂÎ ̧ÌÓÈ ÙÓÏ ̊
    Exact
    [11]
    Suffix
    . à ̊ ·Û‰ÂÏ ËÒÔÓÎ ̧ÁÓ‚‡Ú ̧ ̋ÚÛ Ë‰Â ̨ ‰Îˇ ‚ ̊ ̃ËÒÎÂÌˡ ‚ÂÏÂÌË ‚ ̊ÔÓÎÌÂÌˡ. œÛÒÚ ̧A| ‡ÒËÌıÓÌ̇ˇ ÒËÒÚÂχ. à ̊ ·Û‰ÂÏ ËÌÚÂÔÂÚËÓ‚‡Ú ̧ ÒÓ· ̊Úˡa∈EÍ‡Í ‚ ̊ÔÓÎÌˇ ̨ ̆ËÂÒˇ ‚Ó ‚ÂÏÂÌË Ï‡ ̄ËÌÌ ̊ ÍÓχ̉ ̊, ËÌÒÚÛ͈ËË.

  2. In-text reference with the coordinate start=10213
    Prefix
    ÓÎË ̃ÂÒÚ‚Ó ·ÎÓÍÓ‚ ÓÚ ̋ÚÓ„Ó ÔÂÂÏ ̆ÂÌˡ Ì ۂÂÎË ̃ËÚÒˇ. œÓ ̋ÚÓÏÛ ̃ËÒÎÓ ˇÛÒÓ‚ ‚ ‡ÁÎÓÊÂÌËË ‘Ó‡Ú ̊ Ì ÏÂÌ ̧ ̄Â, ̃ÂÏn.I œ‰ÎÓÊÂÌË 3.[7].≈ÒÎË ‚ÂÏˇ ‚ ̊ÔÓÎÌÂÌˡ Í‡Ê‰Ó„Ó ÒÓ· ̊Úˡ ‡‚ÌÓ1, ÚÓ ÏËÌËχΠ̧ÌÓ ‚ÂÏˇ ‚ ̊ÔÓÎÌÂÌˡ Ú‡ÒÒ ̊ ‡‚ÌÓ ‚ ̊ÒÓڠ ÌÓχΠ̧ÌÓÈ ÙÓÏ ̊ ‘Ó‡Ú ̊. œ˂‰ÂÌË Ú‡ÒÒ ̊ Í ÌÓχΠ̧ÌÓÈ ÙÓÏ ‘Ó‡Ú ̊ ‡Ì‡ÎÓ„Ë ̃ÌÓ ÔÓÒÚÓÂÌË ̨ ͇ÌÓÌË ̃ÂÒÍÓÈ ˇÛÒÌÓ-Ô‡‡ÎÎÂÎ ̧ÌÓÈ ÌÓχΠ̧ÌÓÈ ÙÓÏ ̊
    Exact
    [11,12]
    Suffix
    . œÓÒÚÓÂÌË χÚÂχÚË ̃ÂÒÍÓÈ ÏÓ‰ÂÎË ‰Îˇ ‡Ò ̃ÂÚ‡ ‚ÂÏÂÌË.–‡ÒÒÏÓÚËÏ ÚÂÔÂ ̧ Ó· ̆ËÈ ÒÎÛ ̃‡È. œÛÒÚ ̧ Á‡‰‡Ì‡ ‡ÒËÌıÓÌ̇ˇ ÒËÒÚÂχAÒ ÙÛÌ͈ËÂÈ ‚ÂÏÂÌË, ÔËÌËχ ̨ ̆ÂÈ ÔÓËÁ‚ÓÎ ̧Ì ̊ Á̇ ̃ÂÌˡτ(a)∈N+. œÓÔ ̊Ú‡ÂÏÒˇ ‡ÁÎÓÊËÚ ̧ ÔÂÂıÓ‰s a →s′‚ ÍÓÏÔÓÁËˆË ̨ ÔÂÂıÓ‰Ó‚, ËÏ ̨ ̆Ëı Á‡‚ËÒËÏ ̊ ËÌÒÚÛ͈ËËe1,e2, . . . ,ek, „‰Âk=τ(a).

12
Karpov V.E. Vvedenie v rasparallelivanie algoritmov i programm [Introduction to the parallelization of algorithms and programs]. Komp'yuternye issledovaniya i modelirovanie [Computer Research and Modeling], 2010, vol. 2, no. 3, pp. 231{272. Available at: http://crm. ics.org.ru/journal/article/1725/, accessed 01.12.2013.
Total in-text references: 1
  1. In-text reference with the coordinate start=10213
    Prefix
    ÓÎË ̃ÂÒÚ‚Ó ·ÎÓÍÓ‚ ÓÚ ̋ÚÓ„Ó ÔÂÂÏ ̆ÂÌˡ Ì ۂÂÎË ̃ËÚÒˇ. œÓ ̋ÚÓÏÛ ̃ËÒÎÓ ˇÛÒÓ‚ ‚ ‡ÁÎÓÊÂÌËË ‘Ó‡Ú ̊ Ì ÏÂÌ ̧ ̄Â, ̃ÂÏn.I œ‰ÎÓÊÂÌË 3.[7].≈ÒÎË ‚ÂÏˇ ‚ ̊ÔÓÎÌÂÌˡ Í‡Ê‰Ó„Ó ÒÓ· ̊Úˡ ‡‚ÌÓ1, ÚÓ ÏËÌËχΠ̧ÌÓ ‚ÂÏˇ ‚ ̊ÔÓÎÌÂÌˡ Ú‡ÒÒ ̊ ‡‚ÌÓ ‚ ̊ÒÓڠ ÌÓχΠ̧ÌÓÈ ÙÓÏ ̊ ‘Ó‡Ú ̊. œ˂‰ÂÌË Ú‡ÒÒ ̊ Í ÌÓχΠ̧ÌÓÈ ÙÓÏ ‘Ó‡Ú ̊ ‡Ì‡ÎÓ„Ë ̃ÌÓ ÔÓÒÚÓÂÌË ̨ ͇ÌÓÌË ̃ÂÒÍÓÈ ˇÛÒÌÓ-Ô‡‡ÎÎÂÎ ̧ÌÓÈ ÌÓχΠ̧ÌÓÈ ÙÓÏ ̊
    Exact
    [11,12]
    Suffix
    . œÓÒÚÓÂÌË χÚÂχÚË ̃ÂÒÍÓÈ ÏÓ‰ÂÎË ‰Îˇ ‡Ò ̃ÂÚ‡ ‚ÂÏÂÌË.–‡ÒÒÏÓÚËÏ ÚÂÔÂ ̧ Ó· ̆ËÈ ÒÎÛ ̃‡È. œÛÒÚ ̧ Á‡‰‡Ì‡ ‡ÒËÌıÓÌ̇ˇ ÒËÒÚÂχAÒ ÙÛÌ͈ËÂÈ ‚ÂÏÂÌË, ÔËÌËχ ̨ ̆ÂÈ ÔÓËÁ‚ÓÎ ̧Ì ̊ Á̇ ̃ÂÌˡτ(a)∈N+. œÓÔ ̊Ú‡ÂÏÒˇ ‡ÁÎÓÊËÚ ̧ ÔÂÂıÓ‰s a →s′‚ ÍÓÏÔÓÁËˆË ̨ ÔÂÂıÓ‰Ó‚, ËÏ ̨ ̆Ëı Á‡‚ËÒËÏ ̊ ËÌÒÚÛ͈ËËe1,e2, . . . ,ek, „‰Âk=τ(a).

13
Treshchev I.A. Metody postroeniya sistem avtomatizirovannogo rasparallelivaniya prilozheniy dlya arkhitektur s simmetrichno-adresuemoy pamyat'yu [Methods for building systems of automated parallelization programming for architectures with symmetrically-addressable memory]. Uchenye zapiski Komsomol'skogo-na-Amure gosudarstvennogo tekhnicheskogo universiteta. Ser. \Nauki o prirode i tekhnike" [Scholarly Notes of Komsomolsk-na-Amure State Technical University. Ser. \Engineering and Natural Sciences"], 2011, vol. 5, no. I1, pp. 29{32. Available at: http://www.uzknastu.ru/files/pdf/I-1(5)2011/29-32.pdf, accessed 01.12.2013.
Total in-text references: 1
  1. In-text reference with the coordinate start=25101
    Prefix
    –ËÒ. 4.«‡‚ËÒËÏÓÒÚ ̧ ‚ÂÏÂÌË Ó·‡·ÓÚÍËm ̋ÎÂÏÂÌÚÓ‚ Ó ̃ÂÂ‰Ë ¡ÓΠӷ ̆Ë ÒÚÛÍÚÛ ̊.¬ ÒÎÛ ̃‡Â ËÁÏÂÌÂÌˡ ÒÚÛÍÚÛ ̊ ÍÓÌ‚ÂÈÂÌÓÈ Ó·‡·ÓÚÍË, ‡·ÓÚ‡ ÔÓ„‡ÏÏ ̊ ÓÒÛ ̆ÂÒڂΡÂÚÒˇ ‡Ì‡ÎÓ„Ë ̃Ì ̊Ï Ó·‡ÁÓÏ. ›ÚÓ ÏÓÊÌÓ ÔËÏÂÌËÚ ̧, ̇ÔËÏÂ, Í‚ÓÎÌÓ‚ ̊Ï ÒËÒÚÂχÏ
    Exact
    [13]
    Suffix
    . ƒÎˇ ËÎÎ ̨ÒÚ‡ˆËË ̋ÚÓ„Ó ÛÚ‚ÂʉÂÌˡ ‡ÒÒÏÓÚËÏ ÒÂÚ ̧, Ô‰ÒÚ‡‚ÎÂÌÌÛ ̨ ̇ ËÒ.5.ËÒ.5 –ËÒ. 5.œËÏÂ Ó·‡·ÓÚÍË ÍÓÌ‚ÂÈÂÌÓ„Ó ÚËÔ‡ ¬ ̊ÔÓÎÌË‚ ÔÓÒÚÓÂÌË ÌÓχΠ̧ÌÓÈ ÙÓÏ ̊ ‘Ó‡Ú ̊, ÔÓÎÛ ̃ËÏ ‚ ̊‡ÊÂÌË ‰Îˇ ̇ıÓʉÂÌˡ ÏËÌËχΠ̧ÌÓ„Ó ‚ÂÏÂÌË ‚ ̊ÔÓÎÌÂÌˡ: [(a21a32a13)m] = [a1a2][a1a2][a2]([a3][a1a2][a1a2][a2])m−1[a3].

14
Gertsenberger K.V., Chepin E.V. Analiticheskaya model' otsenki proizvoditel'nosti mnogoprotsessornoy obrabotki dannykh dlya nabora parallel'nykh algoritmicheskikh struktur [Analytical model for evaluating performance multiprocessing for a set of parallel algorithmic structure]. Biznes-informatika [Business Informatics], 2011, no. 4, pp. 24{30. Available at: http://bijournal.hse.ru/2011{4%20(18)/44322998.html, accessed 01.12.2013.
Total in-text references: 1
  1. In-text reference with the coordinate start=26847
    Prefix
    Õ‡ÎË ̃Ë ÔÓ„ ̄ÌÓÒÚË ÏÓÊÌÓ Ò‚ˇÁ‡Ú ̧ Ò ÚÂÏ, ̃ÚÓ ÔË Ï‡Î ̊ıτ(a)‚ÂÏÂÌÌ ̊ Á‡Ú‡Ú ̊ ̇ ÛÒÚ‡ÌÓ‚ÍÛ ÒÓ· ̊ÚËÈ Ë ÔÂ‰‡ ̃Û ÛÔ‡‚ÎÂÌˡ ÏÂÊ‰Û ÔÓÚÓ͇ÏË Ô‚ÓÒıÓ‰ˇÚ Á‡Ú‡Ú ̊ ̇ ÒÓ·ÒÚ‚ÂÌÌÓ ‚ ̊ ̃ËÒÎÂÌˡ. à ̊ ÌÂ Û ̃ËÚ ̊‚‡ÂÏ ̋ÚËı ÔÓ„ ̄ÌÓÒÚÂÈ. ›ÚÓÈ ÔÓ·ÎÂÏ ÔÓÒ‚ˇ ̆Â̇, ̇ÔËÏÂ, ‡·ÓÚ‡
    Exact
    [14]
    Suffix
    , ÌÓ ‚ ÌÂÈ ‡ÒÒχÚË‚‡ ̨ÚÒˇ ÚÓÎ ̧ÍÓ ÍÓÌ‚ÂÈÂÌ ̊ ÒËÒÚÂÏ ̊. Õ‡ ̄ ÒÔÓÒÓ· ÔÓÁ‚ÓΡÂÚ ‚ ̊ ̃ËÒÎˇÚ ̧ ÔÓËÁ‚Ó‰ËÚÂÎ ̧ÌÓÒÚ ̧ Î ̨·ÓÈ ‡ÒËÌıÓÌÌÓÈ ÒËÒÚÂÏ ̊, ‰Îˇ ÍÓÚÓÓÈ Á‡‰‡Ì ̊ ‚ÂÏÂ̇ ‚ ̊ÔÓÎÌÂÌˡ ÒÓ· ̊ÚËÈ. ƒ‡ÌÌ ̊È ‚ÓÔÓÒ Ú·ÛÂÚ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ËÒÒΉӂ‡ÌËÈ, ÔÓ ̋ÚÓÏÛ Ôӂ‰ÂÌÌ ̊È ̋ÍÒÔÂËÏÂÌÚ ÏÓÊÌÓ Ò ̃ËÚ‡Ú ̧ ÛÒÎÓ‚ÌÓ ÛÒÔ ̄Ì ̊Ï.

15
Goubault E. Durations for truly-concurrent transitions. In: Programming Languages and Systems | ESOP '96. Berlin, Springer-Verlag, 1996, pp. 173{187. DOI: 10.1007/3-54061055-336 (Ser. Lecture Notes in Computer Science; vol. 1058).
Total in-text references: 1
  1. In-text reference with the coordinate start=27826
    Prefix
    ¬ ÔÂÒÔÂÍÚË‚Â ËÒÒΉӂ‡ÌË ӈÂÌÓÍ ‚ÂÏÂÌË ‰Îˇ ‡ÁÎÓÊÂÌˡ ÓÔÂ‡ˆËÈ ‚ ÍÓÏÔÓÁËˆË ̨ ÓÔÂ‡ˆËÈ, ÍÓÚÓ ̊ ÏÓ„ÛÚ · ̊Ú ̧ ÌÂÁ‡‚ËÒËÏ ̊. ƒÎˇ ËÁÛ ̃ÂÌˡ ̋ÚÓ„Ó ‚ÓÔÓÒ‡ · ̊ÎÓ · ̊ ıÓÓ ̄Ó ÛÒÚ‡ÌÓ‚ËÚ ̧ Ò‚ˇÁ ̧ ÏÂÊ‰Û ‡ÒËÌıÓÌÌ ̊ÏË ÒËÒÚÂχÏË Ò ÙÛÌ͈ËÂÈ ‚ÂÏÂÌË Ë ‚ÂÏÂÌÌ ̊ÏË ÏÌÓ„ÓÏÂÌ ̊ÏË ‡‚ÚÓχڇÏË, ‚‚‰ÂÌÌ ̊ÏË √Û·Ó
    Exact
    [15]
    Suffix
    . –‡·ÓÚ‡ ‚ ̊ÔÓÎÌÂ̇ ‚ ‡Ï͇ı ÔÓ„‡ÏÏ ̊ ÒÚ‡ÚÂ„Ë ̃ÂÒÍÓ„Ó ‡Á‚ËÚˡ „ÓÒÛ‰‡ÒÚ‚ÂÌÌ ̊ı Ó·‡ÁÓ‚‡ÚÂÎ ̧Ì ̊ı Û ̃ÂʉÂÌËÈ ‚ ̊Ò ̄Â„Ó ÔÓÙÂÒÒËÓ̇Π̧ÌÓ„Ó Ó·‡ÁÓ‚‡Ìˡ, π 2011-œ–-054. —ÔËÒÓÍ ÎËÚÂ‡ÚÛ ̊ 1.Bednarczyk M.