In this paper we present a method to check the finiteness of CCS expressions. The method is interpretative, i.e. it is based on an extended operational semantics of CCS. According to this new operational semantics it is always possible to build a finite state transition system which, if some condition holds, is a finite representation of a process. It works on terms of the CCS signature and 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.

A Semantic Driven Method to Check the Finiteness of CCS Processes

INVERARDI, PAOLA;
1992-01-01

Abstract

In this paper we present a method to check the finiteness of CCS expressions. The method is interpretative, i.e. it is based on an extended operational semantics of CCS. According to this new operational semantics it is always possible to build a finite state transition system which, if some condition holds, is a finite representation of a process. It works on terms of the CCS signature and 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.
3-540-55179-4
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11697/41129
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 0
social impact