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.
Lanese I., Montanari U. (2005). Insights Emerged while Comparing Three Models for Global Computing. DAGSTUHL : Schloss Dagstuhl.
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.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.
