INVESTIGADORES
MELGRATTI Hernan Claudio
artículos
Título:
From Hierarchical BIP to Petri Calculus
Autor/es:
ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI
Revista:
LECTURE NOTES IN COMPUTER SCIENCE
Editorial:
Springer
Referencias:
Año: 2014
ISSN:
0302-9743
Resumen:
We focus on Hierarchical BIP, an extension of Joseph Sifakis et al?s BIP component framework, to provide a semantics-preserving, compositional encoding in the Petri calculus, a recently proposed algebra of stateless connectors and one-position buffers.
