Issam A. Hamid. A dynamic Extension for the Specification of Distributed Systems. In 3rd Asia-Pacific Software Engineering Conference (APSEC 96), December 4-7, 1996, Seoul, South Korea. pages 256-267, IEEE Computer Society, 1996. [doi]
Abstract is missing.