Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Perticaroli V. A temporal semantics for basic process algebra. Internal note IEI-B4-33, 1992.
In this paper we present a denotational semantics for Basic Process Algebra. The denotational domain is a new logic obtained by enrichiching the branching temporal logic CTL with a fixed point operator and a branching sequential composition operator, named chop bmnching. The temporal semantics so obtained is proved to be fully abstract with respect to the bisimulation sernantics defined on BPA terms.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional