[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Robin Milner
- A Calculus of Communicating Systems
- Springer Verlag 1980
- =THEORY FORMAL non-sequential CCS timing
- Time considered as a tree of possible communications.
- Later algebra
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]