External Links

Cite Key

Statistics

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

PDF

Tags

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.

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification

Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci. The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. In Johan Lilius, Wojciech Penczek, editors, Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Volume 6128 of Lecture Notes in Computer Science, pages 145-164, Springer, 2010. [doi]

Authors

Christine Choppy

This author has not been identified. Look up 'Christine Choppy' in Google

Anna Dedova

This author has not been identified. Look up 'Anna Dedova' in Google

Sami Evangelista

This author has not been identified. Look up 'Sami Evangelista' in Google

Silien Hong

This author has not been identified. Look up 'Silien Hong' in Google

Kais Klai

This author has not been identified. Look up 'Kais Klai' in Google

Laure Petrucci

This author has not been identified. Look up 'Laure Petrucci' in Google
runs on