Compositional Modeling of Reactive Systems Using Open Nets
P. Baldan, A. Corradini, H. Ehrig, R. Heckel, in: Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), Springer, Berlin/Heidelberg, 2001, pp. 502–518.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Baldan, Paolo;
Corradini, Andrea;
Ehrig, Hartmut;
Heckel, Reiko
Department
Publishing Year
Proceedings Title
Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark)
forms.conference.field.series_title_volume.label
LNCS
Volume
2154
Page
502-518
LibreCat-ID
Cite this
Baldan P, Corradini A, Ehrig H, Heckel R. Compositional Modeling of Reactive Systems Using Open Nets. In: Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark). Vol 2154. LNCS. Berlin/Heidelberg: Springer; 2001:502-518.
Baldan, P., Corradini, A., Ehrig, H., & Heckel, R. (2001). Compositional Modeling of Reactive Systems Using Open Nets. In Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark) (Vol. 2154, pp. 502–518). Berlin/Heidelberg: Springer.
@inproceedings{Baldan_Corradini_Ehrig_Heckel_2001, place={Berlin/Heidelberg}, series={LNCS}, title={Compositional Modeling of Reactive Systems Using Open Nets}, volume={2154}, booktitle={Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark)}, publisher={Springer}, author={Baldan, Paolo and Corradini, Andrea and Ehrig, Hartmut and Heckel, Reiko}, year={2001}, pages={502–518}, collection={LNCS} }
Baldan, Paolo, Andrea Corradini, Hartmut Ehrig, and Reiko Heckel. “Compositional Modeling of Reactive Systems Using Open Nets.” In Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), 2154:502–18. LNCS. Berlin/Heidelberg: Springer, 2001.
P. Baldan, A. Corradini, H. Ehrig, and R. Heckel, “Compositional Modeling of Reactive Systems Using Open Nets,” in Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), 2001, vol. 2154, pp. 502–518.
Baldan, Paolo, et al. “Compositional Modeling of Reactive Systems Using Open Nets.” Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), vol. 2154, Springer, 2001, pp. 502–18.
Google Scholar