Back to Search
Start Over
Process algebra with partial choice.
- Source :
- CONCUR '94: Concurrency Theory; 1994, p465-480, 16p
- Publication Year :
- 1994
-
Abstract
- The objective of this paper is to bridge the gap between ACP and TCSP. To this end, ACP is extended with two non-deterministic choice operators in a setting of bisimulation semantics. With these operators, we can express safety properties of systems without the use of silent steps, and we can verify safety properties in a setting in which no assumption on fairness (or unfairness) has been made. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540583295
- Database :
- Supplemental Index
- Journal :
- CONCUR '94: Concurrency Theory
- Publication Type :
- Book
- Accession number :
- 33431054
- Full Text :
- https://doi.org/10.1007/BFb0015026