形式化方法0050

形式化方法0050

Info iconThis preview shows pages 1–10. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 5.1 通通通通通通 通通 (Process) 通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通 通通通通通通通通通通通通通通通通通通通通通通通通 R.Miler 通通通通通通通 (CCS, Calculus of Communication System). Hoare 通 CCS 通通通通通通通通通通通通 (CSP, Communicating Sequential Processes). 通 CCS 通 CSP 通通通通通通通通通通通通通通通通 CCS 通通通通通 通通通通 5.1.1CCS 通通通通通 1 CCS 通通 通通通通通通 (CCS) 通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通 CCS 通通通通通通通通通通通通通通通通通通通通 (sequence) 通通通 (choice) 通通通 (parallel) 通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通 ( 1 ((((( (.) ((((((((((((((((((((((((((((((((((((((((((((( (((((((((((“ .” (((((((((“ .” (((((((((((((((((((((( ((((((((((((((((((((((((( P1=a.b.NIL 通通通通通通 NIL 通通通通通 P2=a.c. P2 通通通通通通通通通通通通 通通通通通通通通通通通通通通通通 P2 通通通通 P2=a.c.(a.c.(…(a.c. P2) …))=a.c.a.c…a.c.P2 通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通 通 2 通通通通通 (+) 通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通“ +” 通通通 通通 P=a.(c.NIL+d.NIL) Q1=a.b. NIL+c.Q2 Q2=d.Q+c. Q2 (((((( (3) 通通通通 (|) 通通通通通通通通通通通通通通通通通通通通通通通通 “ |” 通通通通通 P1=Q1|M1 P2= Q1|M1|Q2 通通通通通通通通通通通通通 . 通通 P=a|b 通通通通通通通通 P=a. NIL|b. NIL 通通通通通通通 5.1.2. CCS 通通通通 通通通通通通通通通通通通通通通通“通通”通通通通通通通通通通通通通通通 “通通”通通通 通通通通通通通通通通通通通通 通通通通通通通 “通通”通通通通通通通通通通通通 (a+b)+c=(a+b)+c, 通通通 a(b+c)=ab+ac 通通通通通 通 CCS 通通通通通通通通通通通通“通通通通 (Observational Equivalence)”. 通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通 通通通通通通通通通通通通通通 通通通通通通通通通通通通通通通通 CCS 通通通通通 通通 a.(b.P+c.Q) 通 a.b.P+a.c.Q 通通通通 a.(b.P+c.Q) 通 a.b.P+a.c.Q 通通通通通通通通通通通通通通通 a 通通通通通 通通通通通 b 通 c 通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通 a 通通 a 通通通通通 通通通通 b 通 c 通通通通 • • • • •...
View Full Document

This note was uploaded on 10/20/2009 for the course CS G22 taught by Professor Sam during the Fall '06 term at Academy of Art University.

Page1 / 88

形式化方法0050

This preview shows document pages 1 - 10. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online