Show simple item record

dc.contributor.authorClérici Martínez, Silvia Inés
dc.contributor.authorPrestigiacomo, Guillermo
dc.contributor.authorZoltan Torres, Ana Cristina
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.identifier.citationClerici, S.I., Prestigiacomo, G., Zoltan, C. "NiMo syntax: part 1". 2014.
dc.description.abstractMany formalisms for the specification for concurrent and distributed systems have emerged. In particular considering boxes and strings approaches. Examples are action calculi, rewriting logic and graph rewriting, bigraphs. The boxes and string metaphor is addressed with different levels of granularity. One of the approaches is to consider a process network as an hypergraph. Based in this general framework, we encode NiMo nets as a class of Annotated hypergraphs. This class is defined by giving the alphabet and the operations used to construct such programs. Therefore we treat only editing operations on labelled hypergraphs and afterwards how this editing operation affects the graph. Graph transformation (execution rules) is not covered here.
dc.format.extent15 p.
dc.subjectÀrees temàtiques de la UPC::Informàtica::Programació
dc.titleNiMo syntax: part 1
dc.typeExternal research report
dc.rights.accessOpen Access
dc.description.versionPostprint (published version)
upcommons.citation.authorClerici, S.I.; Prestigiacomo, G.; Zoltan, C.

Files in this item


This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder