Preferential choice and coordination conditions

J.A. Bergstra, C.A. Middelburg

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)
2 Downloads (Pure)


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 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 often modelled rather indirectly using a priority mechanism.
Original languageEnglish
Pages (from-to)172-200
JournalJournal of Logic and Algebraic Programming
Issue number2
Publication statusPublished - 2007


Dive into the research topics of 'Preferential choice and coordination conditions'. Together they form a unique fingerprint.

Cite this