Items where Research Area is "Computer Science and Applications" and Year is 1985

Group by: Creators | Item Type | Date | No Grouping

Jump to: D

Number of items: 3.

D

De Nicola, Rocco Testing Equivalences and Fully Abstract Models for Communicating Processes. PhD Thesis thesis, University of Edinburgh. (1985)

De 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)

Degano, 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)

This list was generated on Mon Dec 23 00:02:06 2024 CET.

IMT Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.