From Principles of Cyber-Physical Systems

Exercise 4.4: Consider the asynchronous p Mergel out-temp] I Mergelin1?templing-in31 obtained by connecting two instances of the process Merge. Show the "compiled" version of this composite process similar to the description in figure 4.8. Explain the input/output behavior of this composite process. 0, 1,nullxull; xnull bool out bool in : x1 := in temp null} bool temp Figure 4.8: Asynchronous Parallel Composition of Two Buffer Processes Exercise 4.4: Consider the asynchronous p Mergel out-temp] I Mergelin1?templing-in31 obtained by connecting two instances of the process Merge. Show the "compiled" version of this composite process similar to the description in figure 4.8. Explain the input/output behavior of this composite process. 0, 1,nullxull; xnull bool out bool in : x1 := in temp null} bool temp Figure 4.8: Asynchronous Parallel Composition of Two Buffer Processes