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.date.accessioned2017-01-17T12:56:06Z
dc.date.available2017-01-17T12:56:06Z
dc.date.issued2014
dc.identifier.citationClerici, S.I., Prestigiacomo, G., Zoltan, C. "NiMo syntax: part 1". 2014.
dc.identifier.urihttp://hdl.handle.net/2117/99459
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.language.isoeng
dc.relation.ispartofseriesLSI-14-7-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Programació
dc.subject.otherNiMo
dc.subject.otherHypergraphs
dc.titleNiMo syntax: part 1
dc.typeExternal research report
dc.rights.accessOpen Access
drac.iddocument19593435
dc.description.versionPostprint (published version)
upcommons.citation.authorClerici, S.I., Prestigiacomo, G., Zoltan, C.
upcommons.citation.publishedtrue


Files in this item

Thumbnail

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