External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations

Marco Bernardo, Rocco De Nicola, Michele Loreti. Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. In Martín Abadi, Alberto Lluch-Lafuente, editors, Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers. Volume 8358 of Lecture Notes in Computer Science, pages 315-330, Springer, 2013. [doi]

Authors

Marco Bernardo

This author has not been identified. It may be one of the following persons: Look up 'Marco Bernardo' in Google

Rocco De Nicola

This author has not been identified. Look up 'Rocco De Nicola' in Google

Michele Loreti

This author has not been identified. Look up 'Michele Loreti' in Google
runs on