Skip to main content
Article thumbnail
Location of Repository

Preferential Choice and Coordination Conditions

By J.A. Bergstra and C.A. Middelburg


We present a process algebra with conditional expressions of which the conditions concern the enabledness of actions in the context in which a process is placed. With those conditions, it becomes easy to model preferential choices. A preferential choice of a process is a choice\ud whereby certain alternatives are excluded if at least one of the other alternatives is permitted by the context in which the process is placed. Preferential choices are usually modelled rather indirectly using a priority mechanism

Topics: Wijsbegeerte, coordination conditions, process algebra, preferential choice, splitting bisimulation, Boolean algebras
Year: 2005
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.