Logo eprints

Items where Author is "Bernardo, Marco"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: Be | De | Lo
Number of items: 33.

Be

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica, 52 (1). pp. 61-106. ISSN 0001-5903 (2015)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theoretical Computer Science, 546. pp. 63-92. ISSN 0304-3975 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science, 10 (1). pp. 1-42. ISSN 1860-5974 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. In: Trustworthy Global Computing. Lecture Notes in Computer Science (8358). Springer, pp. 315-330. ISBN 978-3-319-05118-5 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. CSA Technical Report #06/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. CSA Technical Report #04/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Information and Computation, 225. 29 - 82. ISSN 0890-5401 (2013)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. CSA Technical Report #02/2012 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science (7213). Springer-Verlag, pp. 195-209. ISBN 978-3-642-28728-2 (2012)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi. Electronic Proceedings in Theoretical Computer Science, 60. pp. 66-75. ISSN 2075-2180 (2011)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. In: Trustworthly Global Computing (TGC 2010). Lecture Notes in Computer Science, 6084 . Springer, pp. 35-56. ISBN 978-3-642-15639-7 (2010)

De

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica, 52 (1). pp. 61-106. ISSN 0001-5903 (2015)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theoretical Computer Science, 546. pp. 63-92. ISSN 0304-3975 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science, 10 (1). pp. 1-42. ISSN 1860-5974 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. In: Trustworthy Global Computing. Lecture Notes in Computer Science (8358). Springer, pp. 315-330. ISBN 978-3-319-05118-5 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. CSA Technical Report #06/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. CSA Technical Report #04/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Information and Computation, 225. 29 - 82. ISSN 0890-5401 (2013)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. CSA Technical Report #02/2012 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science (7213). Springer-Verlag, pp. 195-209. ISBN 978-3-642-28728-2 (2012)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi. Electronic Proceedings in Theoretical Computer Science, 60. pp. 66-75. ISSN 2075-2180 (2011)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. In: Trustworthly Global Computing (TGC 2010). Lecture Notes in Computer Science, 6084 . Springer, pp. 35-56. ISBN 978-3-642-15639-7 (2010)

Lo

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica, 52 (1). pp. 61-106. ISSN 0001-5903 (2015)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theoretical Computer Science, 546. pp. 63-92. ISSN 0304-3975 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science, 10 (1). pp. 1-42. ISSN 1860-5974 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. In: Trustworthy Global Computing. Lecture Notes in Computer Science (8358). Springer, pp. 315-330. ISBN 978-3-319-05118-5 (2014)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. CSA Technical Report #06/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. CSA Technical Report #04/2013 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Information and Computation, 225. 29 - 82. ISSN 0890-5401 (2013)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. CSA Technical Report #02/2012 IMT Institute for Advanced Studies Lucca

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science (7213). Springer-Verlag, pp. 195-209. ISBN 978-3-642-28728-2 (2012)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi. Electronic Proceedings in Theoretical Computer Science, 60. pp. 66-75. ISSN 2075-2180 (2011)

Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. In: Trustworthly Global Computing (TGC 2010). Lecture Notes in Computer Science, 6084 . Springer, pp. 35-56. ISBN 978-3-642-15639-7 (2010)

This list was generated on Sat Sep 25 10:08:23 2021 CEST.