Static Livelock Analysis in CSP
In a process algebra with hiding and recursion it is possible to create processes which compute internally without ever communicating with their environment. Such processes are said to diverge or livelock. In this paper we show how it is possible to conservatively classify processes as livelock-free...
| Autori principali: | , , , |
|---|---|
| Natura: | Journal article |
| Lingua: | English |
| Pubblicazione: |
2011
|