Now showing items 1-1 of 1

    • SCCP Operational Semantics Implementation using the K-Framework 

      Méndez Nogales, Juan Pablo; Ingeniero de sistemas y computación; juanpam@javerianacali.edu.co (Pontificia Universidad JaverianaIngenieríaIngeniería de sistemas, 2019-02-25)
      This document presents an executable semantic for Spatial Concurrent Constraint Pro- gramming (SCCP). SCCP is a computational model used to reason about spatial infor- mation and distributed knowledge among the processes ...