The semantics of name-passing calculi is often defined employing coalgebraic models over presheaf categories This elegant theory lacks finiteness properties hence it is not apt to implementation Coalgebras over named sets, called history-dependent automata are better suited for the purpose due to locality of names A theory of behavioural functors for named sets is still lacking the semantics of each language has been given in an ad-hoc way and algorithms were implemented only for the pi-calculus Existence of the final coalgebra for the pi-calculus was never proved We introduce a language of accessible functors to specify history-dependent automata in a modular way leading to a clean formulation and a generalisation of previous results and to the proof of existence of a final coalgebra in a wide range of cases (C) 2010 Elsevier Inc All rights reserved

Symmetries, local names and dynamic (de)-allocation of names

MONTANARI, UGO GIOVANNI ERASMO
2010-01-01

Abstract

The semantics of name-passing calculi is often defined employing coalgebraic models over presheaf categories This elegant theory lacks finiteness properties hence it is not apt to implementation Coalgebras over named sets, called history-dependent automata are better suited for the purpose due to locality of names A theory of behavioural functors for named sets is still lacking the semantics of each language has been given in an ad-hoc way and algorithms were implemented only for the pi-calculus Existence of the final coalgebra for the pi-calculus was never proved We introduce a language of accessible functors to specify history-dependent automata in a modular way leading to a clean formulation and a generalisation of previous results and to the proof of existence of a final coalgebra in a wide range of cases (C) 2010 Elsevier Inc All rights reserved
2010
Ciancia, V; Montanari, UGO GIOVANNI ERASMO
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/11568/142964
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 20
social impact