Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms.
Saved in:
| Title: | Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms. |
|---|---|
| Authors: | Hirsch, Robin1, Mikulás, Szabolcs2, Stokes, Tim3, tim.stokes@waikato.ac.nz |
| Source: | Logic Journal of the IGPL; Oct2022, Vol. 30 Issue 5, p886-906, 21p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
