Studies from University of Pisa in the Area of Algebra Described

摘要

2011 APR 11 - (VerticalNews.com) -- According to recent research from Pisa, Italy,rn"We present a graphical implementation for finite processes of the mobile ambients calculus."rn"Our encoding uses unstructured (i.e., non-hierarchical) graphs and it is sound andrncomplete with respect to the structural congruence of the calculus (i.e.. two processes arernequivalent iff mapped to isomorphic graphs). With respect to alternative proposals for therngraphical implementation of mobile ambients, our encoding distinguishes the syntactic structurernof a process from the activation order of its components," wrote F. Gadducci and colleagues,rnUniversity of Pisa.