A Calculus of Communicating Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540102359, 9783540383116

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

4. Case studies in value-communication

A Calculus of Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-10235-3_5 ◽

2005 ◽

pp. 47-64

Keyword(s):

Case Studies ◽

Value Communication

Download Full-text

3. A case study in synchronization and proof techniques

A Calculus of Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-10235-3_4 ◽

1980 ◽

pp. 33-46

Keyword(s):

Proof Techniques

Download Full-text

10. Determinancy and confluence

A Calculus of Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-10235-3_11 ◽

1980 ◽

pp. 138-157

Download Full-text

5. Syntax and semantics of CCS

A Calculus of Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-10235-3_6 ◽

1980 ◽

pp. 65-83 ◽

Download Full-text

2. Synchronization

A Calculus of Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-10235-3_3 ◽

1980 ◽

pp. 19-32 ◽

Download Full-text

6. Communication trees (CTs) as a model of CCS

A Calculus of Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-10235-3_7 ◽

1980 ◽

pp. 84-97 ◽

Download Full-text

7. Observation equivalence and its properties

A Calculus of Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-10235-3_8 ◽

1980 ◽

pp. 98-110

Download Full-text

1. Experimenting on nondeterministic machines

A Calculus of Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-10235-3_2 ◽

1980 ◽

pp. 9-18

Download Full-text

11. Conclusion

A Calculus of Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-10235-3_12 ◽

1980 ◽

pp. 158-165

Download Full-text

9. Translation into CCS

A Calculus of Communicating Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-10235-3_10 ◽

1980 ◽

pp. 126-137

Download Full-text