Istituto di Scienza e Tecnologie dell'Informazione     
De Francesco N., Inverardi P. Proving fineteness of CCS processes by non-standard semantics. Internal note IEI-B4-11, 1992.
In this paper we present a semantic method to check the finiteness of CCS expressions. The method is interpretative, i.e. it is based on a non-standard operational semantics of CCS. According to this semantics it is always possible, given a process p, to build a finite state transition system which, if some condition holds, is a finite representation of p; otherwise it is a suitable approximation of its semantic behavior. The method is able to decide the finiteness of a CCS expression in a large number of cases which are not captured by the known syntactic criteria.

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