compared with
Current by Stephen Henrie
on Mar 26, 2013 23:50.

Key
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.