A proof technique for communicating sequential processes

Acta Informatica

Volumn 15, Issue 3, 1981, Pages 281-302

  Levin, Gary Marc ^a   Gries, David ^b  

^a UNIVERSITY OF ARIZONA   (United States)

^b Cornell University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

EID: 0019654517     PISSN: 00015903     EISSN: 14320525     Source Type: Journal    
DOI: 10.1007/BF00289266     Document Type: Article

References (16)

1. A proof system for communicating sequential processes
2. Output guards and non-determinism in “Communicating Sequential Processes”
3. Proofs of networks of processes
4. Semantic analysis of communicating sequential processes
5. Distributed termination
6. Multiple assignment and procedure call proof rules
7. An axiomatic basis for computer programming
8. Communicating sequential processes
9. An axiomatic proof technique for parallel programs
10. Communication and synchronization in distributed systems