Search Results - "concurrent programs"

Suggested Topics within your search.
  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Cover Image

    Models of concurrent program running in resource constrained environment by Rahozin, D.V.

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    Correctness Property Proof for the Banking System for Money Transfer Payments by Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

    Equivalence of two parallel execution systems by Panchenko, T.V., Fabunmi, S.

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Cover Image

    Peterson’s algorithm Total correctness proof in IPCL by Zhygallo, A.A.

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: