Preferential choice and coordination conditions

J.A. Bergstra, C.A. Middelburg

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)
2 Downloads (Pure)

Abstract

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
Volume70
Issue number2
DOIs
Publication statusPublished - 2007

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

Cite this