Logo eprints

Items where Year is 1986

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: A | D
Number of items: 3.

A

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)

D

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)

This list was generated on Wed Oct 9 10:01:11 2024 CEST.