Conditionals in algebraic process calculi

C.A. Middelburg

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005)
RedacteurenL. Aceto, A.D. Gordon
Pagina's237-241
DOI's
StatusGepubliceerd - 2006

Publicatie series

NaamElectronic Notes in Theoretical Computer Science
Volume162
ISSN van geprinte versie1571-0061

Vingerafdruk Duik in de onderzoeksthema's van 'Conditionals in algebraic process calculi'. Samen vormen ze een unieke vingerafdruk.

Citeer dit