Skip to main navigation Skip to search Skip to main content

Conditionals in algebraic process calculi

  • C.A. Middelburg

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Downloads (Pure)

Abstract

Conditionals of some form are incorporated in various algebraic process calculi. What is considered to be conditions and how they are evaluated differs from one case to another. This paper gives an overview of the history of conditionals in algebraic process calculi, including the recent elaborate investigation into the potentialities of conditionals in the setting of ACP. The history of conditionals in algebraic process calculi is remarkable. It shows among other things that the potentialities of conditionals in algebraic process calculi have been underestimated for a long time. The paper ends by mentioning some open problems.
Original languageEnglish
Title of host publicationProceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005)
EditorsL. Aceto, A.D. Gordon
Pages237-241
DOIs
Publication statusPublished - 2006

Publication series

NameElectronic Notes in Theoretical Computer Science
Volume162
ISSN (Print)1571-0061

Fingerprint

Dive into the research topics of 'Conditionals in algebraic process calculi'. Together they form a unique fingerprint.

Cite this