AUB ScholarWorks

Browsing by Subject "Distributed operating systems (Computers)"

Browsing by Subject "Distributed operating systems (Computers)"

Sort by: Order: Results:

  • Soueidi, Chukri Albert (2019)
    We address the problem of modeling, analyzing, and repairing finite-state and infinite-state concurrent programs. We define a textual notation for concurrent programs and implement it in the Eshmun tool. For finite-state ...

Search AUB ScholarWorks

Browse

My Account