PUMA
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.
 
 
Abstract
(English)
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.
Subject


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