Searching for "Termination, Deadlock, and Divergence." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
On the Semantics of Atomized Statements - the Parallel-Choice option (Extended Abstract)
- … is termination and deadlock, not including divergence) of the language. This allows us to give a simple…
- Add To MetaCart
-
A Refinement Calculus For Communicating Processes With State
- …. They must be able to express termination, deadlock, divergence and the combinators of our programming…
- Cited by 4 (2 self) – Add To MetaCart
-
Compatibility and inheritance in software architectures
- … does not provide a way to differentiate them. Termination, deadlock, and divergence in process algebras…
- Cited by 16 (7 self) – Add To MetaCart
Showing 1 through 3.
