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

Book Section

Aceto, Luca and Fantechi, Alessandro and De Nicola, Rocco Testing Equivalences for Event Structures. In: Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, 280 . Springer, pp. 1-20. ISBN 3-540-18419-8 (1986)

De Nicola, Rocco Net Theory and Application - Response. In: IFIP Congress. North-Holland/IFIP, pp. 833-836. ISBN 0-444-70077-3 (1986)

Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo CCS is an (Augmented) Contact Free C/E System. In: Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, 280 . Springer, pp. 144-165. ISBN 3-540-18419-8 (1986)