Tetsuya Suga, Junichi Iijima. Formal Specification of DEMO Process Model and Its Submodel - Towards Algebra of DEMO Models. In David Aveiro, Robert Pergl, Giancarlo Guizzardi, João Paulo A. Almeida, Rodrigo Magalhães, Hans Lekkerkerk, editors, Advances in Enterprise Engineering XI - 7th Enterprise Engineering Working Conference, EEWC 2017, Antwerp, Belgium, May 8-12, 2017, Proceedings. Volume 284 of Lecture Notes in Business Information Processing, pages 3-17, 2017. [doi]
Abstract is missing.