τ-angelic choice for process algebras (Revised version).
| Title | τ-angelic choice for process algebras (Revised version). |
| Publication Type | Miscellaneous |
| Year of Publication | 1995 |
| Authors | D'Argenio, PR |
| Abstract | The τ-angelic choice is an operator that captures the behaviour of the external choice of CSP in a branching time setting. The idea of the τ-angelic choice is to delay any choice until an observable action happens. In this way, this new operator avoids preemption introduced by internal actions (τ actions). It is studied in theories with abstraction, more precisely, branching bisimulation, τ-bisimulation and failure semantics. In addition, an ilustrative example of application is given. (This is a revised version of 24 JAIIO, 387-400, 1995.) |
PDF (Full text):
