Carregant...
Carregant...

Vés al contingut (premeu Retorn)

NiMo syntax: part 1

Autor
Clerici, S.I.; Prestigiacomo, G.; Zoltan, C.
Tipus d'activitat
Document cientificotècnic
Data
2014
Codi
LSI-14-7-R
Repositori
http://hdl.handle.net/2117/99459 Obrir en finestra nova
Resum
Many 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 t...
Citació
Clerici, S.I., Prestigiacomo, G., Zoltan, C. "NiMo syntax: part 1". 2014.
Paraules clau
Nimo, Hypergraphs

Participants

  • Clerici Martinez, Silvia Ines  (autor)
  • Prestigiacomo, Guillermo  (autor)
  • Zoltan, Cristina  (autor)

Arxius