Items where Author is "Degano, Pierpaolo"
Number of items: 21. DeDe Nicola, Rocco and Degano, Pierpaolo and Meseguer, José Ugo Montanari in a Nutshell. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 1-8. ISBN 978-3-540-68676-7 (2008) De Nicola, Rocco and Degano, Pierpaolo and Meseguer, José Ugo Montanari in a Nutshell. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 1-8. ISBN 978-3-540-68676-7 (2008) Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Universal Axioms for Bisimulations. Theoretical Computer Science, 114 (1). pp. 63-91. ISSN 0304-3975 (1993) Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Universal Axioms for Bisimulations. Theoretical Computer Science, 114 (1). pp. 63-91. ISSN 0304-3975 (1993) Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Partial Ordering Semantics for CCS. Theoretical Computer Science, 75 (3). pp. 223-262. ISSN 0304-3975 (1990) Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Partial Ordering Semantics for CCS. Theoretical Computer Science, 75 (3). pp. 223-262. ISSN 0304-3975 (1990) Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Informatica, 26 (1/2). pp. 59-91. ISSN 0001-5903 (1988) Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Informatica, 26 (1/2). pp. 59-91. ISSN 0001-5903 (1988) Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial orderings descriptions and observations of nondeterministic concurrent processes. In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (REX Workshop 1988). Lecture Notes in Computer Science, 354 . Springer, pp. 438-466. ISBN 3-540-51080-X (1988) Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial orderings descriptions and observations of nondeterministic concurrent processes. In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (REX Workshop 1988). Lecture Notes in Computer Science, 354 . Springer, pp. 438-466. ISBN 3-540-51080-X (1988) 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) 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) 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) 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) MeDe Nicola, Rocco and Degano, Pierpaolo and Meseguer, José Ugo Montanari in a Nutshell. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 1-8. ISBN 978-3-540-68676-7 (2008) MoDegano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Universal Axioms for Bisimulations. Theoretical Computer Science, 114 (1). pp. 63-91. ISSN 0304-3975 (1993) Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Partial Ordering Semantics for CCS. Theoretical Computer Science, 75 (3). pp. 223-262. ISSN 0304-3975 (1990) Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Informatica, 26 (1/2). pp. 59-91. ISSN 0001-5903 (1988) Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo Partial orderings descriptions and observations of nondeterministic concurrent processes. In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (REX Workshop 1988). Lecture Notes in Computer Science, 354 . Springer, pp. 438-466. ISBN 3-540-51080-X (1988) 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) 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) |
