Navegar

Colección

Datos Estadísticas

Artículo

Bruni, R.; Melgratti, H.; Montanari, U. "From hierarchical BIP to Petri calculus" (2014) Workshop ""From Programs to Systems - The Systems Perspective in Computing"", FPS 2014. 8415 LNCS:54-68
Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

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. © 2014 Springer-Verlag Berlin Heidelberg.

Registro:

Documento: Artículo
Título:From hierarchical BIP to Petri calculus
Autor:Bruni, R.; Melgratti, H.; Montanari, U.
Ciudad:Grenoble
Filiación:Dipartimento di Informatica, Università di Pisa, Italy
Departamento de Computación, FCEyN, Universidad de Buenos Aires - CONICET, Argentina
Palabras clave:Semantics; Component framework; Stateless connectors; Calculations
Año:2014
Volumen:8415 LNCS
Página de inicio:54
Página de fin:68
DOI: http://dx.doi.org/10.1007/978-3-642-54848-2_4
Título revista:Workshop ""From Programs to Systems - The Systems Perspective in Computing"", FPS 2014
Título revista abreviado:Lect. Notes Comput. Sci.
ISSN:03029743
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8415LNCS_n_p54_Bruni

Referencias:

  • Arbab, F., Bruni, R., Clarke, D., Lanese, I., Montanari, U., Tiles for reo (2009) WADT 2008. LNCS, 5486, pp. 37-55. , Corradini, A., Montanari, U. (eds.), Springer, Heidelberg
  • Basu, A., Bozga, M., Sifakis, J., Modeling heterogeneous real-time components in BIP (2006) Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), pp. 3-12. , IEEE Computer Society
  • Bliudze, S., Sifakis, J., The algebra of connectors-structuring interaction in BIP (2008) IEEE Trans. Computers, 57 (10), pp. 1315-1330
  • Bliudze, S., Sifakis, J., Causal semantics for the algebra of connectors (2010) Formal Methods in System Design, 36 (2), pp. 167-194
  • Bruni, R., Lanese, I., Montanari, U., A basic algebra of stateless connectors (2006) Theor. Comput. Sci., 366 (1-2), pp. 98-120
  • Bruni, R., Melgratti, H., Montanari, U., A connector algebra for P/T nets interactions (2011) CONCUR 2011. LNCS, 6901, pp. 312-326. , Katoen, J.-P., König, B. (eds.), Springer, Heidelberg
  • Bruni, R., Melgratti, H., Montanari, U., Connector algebras, Petri nets, and BIP (2012) PSI 2011. LNCS, 7162, pp. 19-38. , Clarke, E., Virbitskaite, I., Voronkov, A. (eds.), Springer, Heidelberg
  • Bruni, R., Melgratti, H., Montanari, U., A survey on basic connectors and buffers (2012) FMCO 2011. LNCS, 7542, pp. 49-68. , Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.), Springer, Heidelberg
  • Bruni, R., Melgratti, H.C., Montanari, U., Sobocinski, P., Connector algebras for C/E and P/T nets' interactions (2013) Logical Methods in Computer Science, 9 (3)
  • Graf, S., Quinton, S., Contracts for BIP: Hierarchical interaction models for compositional verification (2007) FORTE 2007. LNCS, 4574, pp. 1-18. , Derrick, J., Vain, J. (eds.), Springer, Heidelberg
  • Sobociânski, P., Representations of Petri net interactions (2010) CONCUR 2010. LNCS, 6269, pp. 554-568. , Gastin, P., Laroussinie, F. (eds.), Springer, HeidelbergA4 -

Citas:

---------- APA ----------
Bruni, R., Melgratti, H. & Montanari, U. (2014) . From hierarchical BIP to Petri calculus. Workshop ""From Programs to Systems - The Systems Perspective in Computing"", FPS 2014, 8415 LNCS, 54-68.
http://dx.doi.org/10.1007/978-3-642-54848-2_4
---------- CHICAGO ----------
Bruni, R., Melgratti, H., Montanari, U. "From hierarchical BIP to Petri calculus" . Workshop ""From Programs to Systems - The Systems Perspective in Computing"", FPS 2014 8415 LNCS (2014) : 54-68.
http://dx.doi.org/10.1007/978-3-642-54848-2_4
---------- MLA ----------
Bruni, R., Melgratti, H., Montanari, U. "From hierarchical BIP to Petri calculus" . Workshop ""From Programs to Systems - The Systems Perspective in Computing"", FPS 2014, vol. 8415 LNCS, 2014, pp. 54-68.
http://dx.doi.org/10.1007/978-3-642-54848-2_4
---------- VANCOUVER ----------
Bruni, R., Melgratti, H., Montanari, U. From hierarchical BIP to Petri calculus. Lect. Notes Comput. Sci. 2014;8415 LNCS:54-68.
http://dx.doi.org/10.1007/978-3-642-54848-2_4