The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification-Reference-Cited by-同舟云学术

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

Published:2010 Issue: Volume: Page:145-164
ISSN:0302-9743
Container-title:Applications and Theory of Petri Nets
language:
Short-container-title:

Author:

Choppy Christine,Dedova Anna,Evangelista Sami,Hong Silien,Klai Kais,Petrucci Laure

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-13675-7_10

Reference14 articles.

1. The Coloane tool Homepage, https://coloane.lip6.fr/

2. The CPN-AMI Homepage, http://move.lip6.fr/software/CPNAMI/

3. The GreatSPN tool Homepage, http://www.di.unito.it/~greatspn/index.html

4. The ZODB Homepage, http://wiki.zope.org/ZODB/FrontPage

5. Bertrand, O., Calonne, A., Choppy, C., Hong, S., Klai, K., Kordon, F., Okuji, Y., Paviot-Adet, E., Petrucci, L., Smets, J.-P.: Verification of Large-Scale Distributed Database Systems in the NEOPPOD Project. In: PNSE 2009, pp. 315–317 (2009)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Symbolic Model-Checking Using ITS-Tools;Tools and Algorithms for the Construction and Analysis of Systems;2015

2. From Code to Coloured Petri Nets: Modelling Guidelines;Transactions on Petri Nets and Other Models of Concurrency VIII;2013

3. Generating Protocol Software from CPN Models Annotated with Pragmatics;Lecture Notes in Computer Science;2013

4. Applications of Coloured Petri Nets for Functional Validation of Protocol Designs;Transactions on Petri Nets and Other Models of Concurrency VII;2013

5. Modelling and Formal Verification of the NEO Protocol;Transactions on Petri Nets and Other Models of Concurrency VI;2012