De Nicola, Rocco A Complete Set of Axioms for a Theory of Communicating Sequential Processes. In: Foundations of Computation Theory. Lecture Notes in Computer Science, 158 . Springer, pp. 115-126. ISBN 3-540-12689-9 (1983)
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/3-540-12689-9_98
| Item Type: | Book Section |
|---|---|
| Identification Number: | 10.1007/3-540-12689-9_98 |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Rocco De Nicola |
| Date Deposited: | 06 Jun 2011 13:51 |
| Last Modified: | 11 Jul 2011 14:36 |
| URI: | http://eprints.imtlucca.it/id/eprint/394 |
Actions (login required)
 |
Edit Item |
