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

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

Number of items: 2.

De Nicola, Rocco Models and Operators for Nondeterministic Processes. In: Mathematical Foundations of Computer Science (MFCS 1984). Lecture Notes in Computer Science, 176 . Springer, pp. 433-442. ISBN 3-540-13372-0 (1984)

Hennessy, Matthew and De Nicola, Rocco Testing Equivalences for Processes. Theoretical Computer Science, 34. pp. 83-133. ISSN 0304-3975 (1984)

This list was generated on Thu Apr 25 10:02:00 2024 CEST.

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.