Content deleted Content added
No edit summary |
Aclassifier (talk | contribs) m Added contrasting comment with synchronous interaction~~~~ |
||
Line 6:
In contrast, in the asynchronous model of computation, on a sequential processor, the statement “'''a||b'''” can be either implemented as "'''a;b'''" or as "'''b;a'''". This is known as the '''interleaving-based non determinism'''. The drawback is that it intrinsically forbids deterministic semantics (e.g., race conditions), which makes formal reasoning such as analysis and verification more complex. Nonetheless, asynchronous formalisms are very useful to model, design and verify distributed systems, because they are intrinsically asynchronous.
Also in contrast are systems with processes that basically ''interact synchronously''. An example would be systems built based on the [[Communicating_sequential_processes|Communicating sequential processes (CSP)]] model, which also allows nondeterministic choice.
==Implementations==
| |||