Computer Science – Logic in Computer Science
Scientific paper
2005-04-13
Computer Science
Logic in Computer Science
44 pages, 8 figures, to appear in a special issue of Theory and Practice of Logic Programming, minor revision
Scientific paper
In this paper we compare three different formalisms that can be used in the area of models for distributed, concurrent and mobile systems. In particular we analyze the relationships between a process calculus, the Fusion Calculus, graph transformations in the Synchronized Hyperedge Replacement with Hoare synchronization (HSHR) approach and logic programming. We present a translation from Fusion Calculus into HSHR (whereas Fusion Calculus uses Milner synchronization) and prove a correspondence between the reduction semantics of Fusion Calculus and HSHR transitions. We also present a mapping from HSHR into a transactional version of logic programming and prove that there is a full correspondence between the two formalisms. The resulting mapping from Fusion Calculus to logic programming is interesting since it shows the tight analogies between the two formalisms, in particular for handling name generation and mobility. The intermediate step in terms of HSHR is convenient since graph transformations allow for multiple, remote synchronizations, as required by Fusion Calculus semantics.
Lanese Ivan
Montanari Ugo
No associations
LandOfFree
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-249357