DagSemProc.05081.5.pdf
- Filesize: 232 kB
- 20 pages
Document
Insights emerged while comparing three models for global computing
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 5081
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2006-01-31
Cite As Get BibTex
Ivan Lanese and Ugo Montanari. Insights emerged while comparing three models for global computing. In Foundations of Global Computing. Dagstuhl Seminar Proceedings, Volume 5081, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.05081.5
Abstract
In this paper we outline the main ideas emerged while studying a chain
of mappings from emph{Fusion Calculus} to emph{logic programming}, using
emph{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.
Subject Classification
Keywords
- Fusion Calculus
- graph transformation
- synchronized hyperedge replacement
- logic programming
- mobility
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads