Professional Documents
Culture Documents
Behavior of Processes: CIT 6255 Advanced Internet Computing
Behavior of Processes: CIT 6255 Advanced Internet Computing
Labeled Transition System (LTS) Informal Translation: from syntax to semantics of CCS
CIT 6241 | Advanced Internet Computing 7 CIT 6241 | Advanced Internet Computing 8
Informal Translation Process Interaction
• Parallel composition: α.P | β.Q • Concurrent processes, i.e. P and Q in P |Q, may interact
where their interfaces are compatible
– Combines sequential composition and choice to
• A synchronizing interaction between two processes (sub-
obtain interleaving systems), P and Q, is an activity that is internal to P |Q
P | β.Q • Parallel composition: α.P | β.Q
α β – Allows interaction if β = ᾱ
P | ā.Q
behavior: α.P | β.Q P|Q a ā
β α τ
behavior: a.P | ā.Q P|Q
α.P | Q
ā α
a.P | Q
CIT 6241 | Advanced Internet Computing 9 CIT 6241 | Advanced Internet Computing 10
premises
RULE conditions
conclusion
CIT 6241 | Advanced Internet Computing 11 CIT 6241 | Advanced Internet Computing 12