Delayed choice for process algebra with abstraction
| Title | Delayed choice for process algebra with abstraction |
| Publication Type | Conference Paper |
| Year of Publication | 1995 |
| Authors | D'Argenio, PR, Mauw, S |
| Editor | Lee, I, Smolka, SA |
| Conference Name | CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings |
| Publisher | Springer |
| ISBN Number | 3-540-60218-6 |
| Abstract | The delayed choice is an operator which serves to combine linear time and branching time within one process algebra. We study this operator in a theory with abstraction, more precisely, in a setting considering branching bisimulation. We show its use in scenario specifications and in verification to reduce irrelevant branching structure of a process. |
| DOI | 10.1007/3-540-60218-6_38 |
PDF (Full text):
