This line was removed.
This word was removed. This word was added.
This line was added.
Changes (2)View Page History
* [syseng:CIAD COI TV Conversations and Session Types#Scribble]: Scribble is used as the language to specify conversation protocols. Scribble is based on a theory of session types
h32. Draft implementation strategies
Figure 1 shows an the current draft implementation strategy for implementing the monitoring of conversation protocols between processes.