Duplication of constants in process algebra

J.C.M. Baeten, M.A. Reniers

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)

Samenvatting

The constant 0 (or d, nil) has different roles in process algebra: on the one hand, it serves as the identity element of alternative composition, on the other hand, it stands for a blocked atomic action or for livelock. When extensions with timing are considered, these roles diverge. We argue that it is better to use two separate constants 0¿ and 0 for the different usages. With respect to the termination constant 1 (or , skip), the situation is comparable: on the one hand, it serves as the identity element of sequential composition, on the other hand, it serves as the identity element of parallel composition, and stands for a skipped atomic action. We have separate constants 1¿ and 1 for the different usages. We set up a theory of process algebra, starting out from these four constants in their respective roles. We do this first for the untimed theory, and work out the extension to discrete timing and relative timing in detail. We indicate how extensions involving dense timing or absolute timing are to be handled. All extensions are conservative.
Originele taal-2Engels
Pagina's (van-tot)151-171
TijdschriftJournal of Logic and Algebraic Programming
Volume70
Nummer van het tijdschrift2
DOI's
StatusGepubliceerd - 2007

Vingerafdruk

Duik in de onderzoeksthema's van 'Duplication of constants in process algebra'. Samen vormen ze een unieke vingerafdruk.

Citeer dit