tag:blogger.com,1999:blog-1348782545935329144.post8010115406013333836..comments2024-01-22T17:11:07.668+01:00Comments on Øyvind Teig: 007 - Synchronous and asynchronousaclassifierhttp://www.blogger.com/profile/16906423831624285447noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-1348782545935329144.post-3774096424476492562010-01-18T11:12:13.506+01:002010-01-18T11:12:13.506+01:00Qouting [13]: "“Interleaving” is an unfortuna...Qouting [13]: "“Interleaving” is an unfortunate misnomer; it reflects the operational semantics usually used to define the operators, not their purpose. These operators are intended to model concurrent processes that do not communicate." [13,p11]<br /><br />Indeed, the |||-operator is used to model processes that run completely independently, and thus could execute concurrently/in parallel. The word "interleaving" comes from the fact that any *observation* of two such processes will be one of the possible interleavings of observations of each process. <br /><br />For example: if <br /><br />P=(a->b->STOP) and Q=(c-d->STOP),<br /><br />the possible traces P|||Q will include both <a,b,c,d> and <a,c,b,d>, the set of all possible traces being quite large. In short, we are assuming interleaved observation, not execution.<br /><br />A comment to [13, p46]: Both traces and trace sets have partial orders already, using prefix and subset operators, respectively. The trace set of two interleaved processes, such as tr P|||Q, is the set of *all possible traces*. The fact that both <a,b,c,d> and <a,c,b,d> are members of tr P|||Q, but not <b,a,c,d>, gives you the same information as you could get from the suggested "multi-set traces use[using] linear traces with a set of actions listed at each step", namely that b must follow a, and that c and d are independent.Martinhttps://www.blogger.com/profile/15184344266653475961noreply@blogger.comtag:blogger.com,1999:blog-1348782545935329144.post-56247409084810962172010-01-18T11:09:31.492+01:002010-01-18T11:09:31.492+01:00This comment has been removed by the author.Martinhttps://www.blogger.com/profile/15184344266653475961noreply@blogger.comtag:blogger.com,1999:blog-1348782545935329144.post-23497848113095487892010-01-03T22:15:16.469+01:002010-01-03T22:15:16.469+01:00This post has been commented by the Authors of [1]...This post has been commented by the Authors of [1]. The comment has been approved for public reading. Read at http://www.teigfam.net/oyvind/blogspot/007/ieee_teig_notes1.htmaclassifierhttps://www.blogger.com/profile/16906423831624285447noreply@blogger.com