Subject: MSC-News: semantics of parallel nodes in HMSC
From: Gwang Sik Yoon (gsyoon#medusa.kaist.ac.kr)
Date: Mon Apr 10 2000 - 10:04:14 GMT
The originator of this message is responsible for its content.
-----From Gwang Sik Yoon <gsyoon#medusa.kaist.ac.kr> to mscnews -----
Dear HMSC community,
While I was studying the formal definitions of MSCs,
I hit up some questions concerning the prarallel composition.
1. Is the || operator present in Def. B.6.11.3, 71p, Z.120B,
same as the delayed parallel composition operator of B.4.6, 33p, Z.120B?
2. What is the rationale of the purely interleaving operator of ||
(that is what Table B.3, B.4.6, 33p, Z.120B says, isn't it?)
which says nothing more than that the two MSCs have nothing to do with
each other? Or is there any other interpretation than that for
|| operator?
Thank you for any comments in advance. :)
Best regards,
Gwang Sik Yoon
--
Lab : +82 42 869 5579
Fax : +82 42 869 3510
E-mail: gsyoon#salmosa.kaist.ac.kr
Postal: Gwang Sik Yoon, CS Dept., KAIST,
373-1 Kusong-dong Yusong-gu, Taejon, 305-701 Korea.
-----End text from Gwang Sik Yoon <gsyoon#medusa.kaist.ac.kr> to mscnews -----
This archive was generated by hypermail 2a23 : Wed Jun 19 2013 - 13:16:38 GMT