Modular System Development with Pullbacks

Marek A. Bednarczyk, Luca Bernardinello, BenoƮt Caillaud, Wieslaw Pawlowski, Lucia Pomello. Modular System Development with Pullbacks. In Wil M. P. van der Aalst, Eike Best, editors, Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings. Volume 2679 of Lecture Notes in Computer Science, pages 140-160, Springer, 2003. [doi]

Abstract

Abstract is missing.