Post #2780021
2023-01-12 15:53 UTC
3/2 cf. Dijkstra's Guarded Command Language, Lamport's TLA+, Abrial et. al.'s Event-B, Term Rewriting Systems, Chandy and Misra's UNITY, Bluespec, ... all fundamentally non-deterministic languages.
Replies (0)
No replies.