Logo eprints

Items where Year is 1985

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | No Grouping
Jump to: D
Number of items: 3.


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 Jul 15 00:01:12 2024 CEST.