Communicating and mobile systems: the pi-calculus
Robin Milner
Glossary; Part I. Communicating Systems: 1. Introduction; 2. Behaviour of automata; 3. Sequential processes and bisimulation; 4. Concurrent processes and reaction; 5. Transitions and strong equivalence; 6. Observation equivalence: theory; 7. Observation equivalence: examples; Part II. The pi-Calculus: 8. What is mobility? 9. The pi-calculus and reaction; 10. Applications of the pi-calculus; 11. Sorts, objects and functions; 12. Commitments and strong bisimulation; 13. Observation equivalence and examples; 14. Discussion and related work; Bibliography; Index
Thể loại:
Năm:
1999
In lần thứ:
5. print
Nhà xuát bản:
Cambridge Univ. Press
Ngôn ngữ:
english
Trang:
175
ISBN 10:
0521658691
ISBN 13:
9780521658690
File:
DJVU, 1.74 MB
IPFS:
,
english, 1999
Amazon 
Barnes & Noble 
Bookshop.org
Bạn có muốn thêm cừa hàng sách? Xin liên lạc theo support@z-lib.do
Chuyển đổi tập tin
Các kết quả tìm kiếm tiếp theo
Các lợi ích khác 
![Davide Sangiorgi; David Walker — The [pi]-calculus : a theory of mobile processes](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/21035b566e18c61aa60b2967c2b254fd0e82980dffccdabd4ceb624e1b5462cf.jpg)
![Kamel Barkaoui, Ana Cavalcanti & Antonio Cerone [Kamel Barkaoui, Ana Cavalcanti & Antonio Cerone] — LNCS 4281 - Theoretical Aspects of Computing - ICTAC 2006 (Frontmatter Pages)](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/d5cf97aa9c584b288ca8e2af915f304b507a9ced59fcaa123d21f9c98fde19af.jpg)
