|
Sometimes interactions must be temporally ordered. For example, it might be desirable to specify algorithms such as: first receive some data on and then send that data on . Sequential composition can be used for such purposes. It is well known from other models of computation. In process calculi, the sequentialisation operator is usually integrated with input or output, or both. For example, the ...

http://neawemda.livejournal.com/585.html
(Cached)
0 links
Published: 5 months ago (Wed, 18 Feb 2009 06:48:33 PST); 12 Kb
|