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
; ; ;
Publishing Year
Proceedings Title
Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark)
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.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar