Items where Research Area is "Computer Science and Applications" and Year is 1985
Number of items: 3. ArticleDe Nicola, Rocco Two Complete Axiom Systems for a Theory of Communicating Sequential Processes. Information and Control, 64 (1-3). pp. 136-172. ISSN 0019-9958 (1985) Book SectionDegano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial ordering derivations for CCS. In: Fundamentals of Computation Theory (FCT 1985). Lecture Notes in Computer Science, 199 . Springer, pp. 520-533. ISBN 3-540-15689-5 (1985) ThesisDe Nicola, Rocco Testing Equivalences and Fully Abstract Models for Communicating Processes. PhD Thesis thesis, University of Edinburgh. (1985) |
