Items where Year is 1986
Jump to: Book Section Number of items: 3. Book SectionAceto, 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) |
