In this paper we outline the main ideas emerged while studying a chain of mappings from Fusion Calculus to logic programming, using Synchronized Hyperedge Replacement (with both Hoare and Milner synchronizations) as intermediate step. We aim more at discussing the ideas behind the mappings than at presenting their technical details.

Insights Emerged while Comparing Three Models for Global Computing

LANESE, IVAN;
2005

Abstract

In this paper we outline the main ideas emerged while studying a chain of mappings from Fusion Calculus to logic programming, using Synchronized Hyperedge Replacement (with both Hoare and Milner synchronizations) as intermediate step. We aim more at discussing the ideas behind the mappings than at presenting their technical details.
Proceedings of Dagstuhl Seminar n.05081, Foundations of global computing
1
20
Lanese I.; Montanari U.
File in questo prodotto:
Eventuali allegati, non sono esposti

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/11585/104598
 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??? ND
social impact