Towards property-based consistency verification-Reference-Cited by-同舟云学术

Towards property-based consistency verification

Published:2016-04-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data
language:
Short-container-title:

Author:

Viotti Paolo¹,Meiklejohn Christopher²,Vukolić Marko³

Affiliation:

1. EURECOM

2. Université catholique de Louvain

3. IBM Research - Zurich

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2911151.2911162

Reference33 articles.

1. Alloy solver. http://alloy.mit.edu/alloy; visited February 2016. Alloy solver. http://alloy.mit.edu/alloy; visited February 2016.

2. Erlang User's Guide. Time and time correction in Erlang. http://erlang.org/doc/apps/erts/time_correction.html; visited February 2016. Erlang User's Guide. Time and time correction in Erlang. http://erlang.org/doc/apps/erts/time_correction.html; visited February 2016.

3. PropEr testing of generic servers. http://proper.softlab.ntua.gr/Tutorials/PropEr_testing_of_generic_servers.html; visited February 2016. PropEr testing of generic servers. http://proper.softlab.ntua.gr/Tutorials/PropEr_testing_of_generic_servers.html; visited February 2016.

4. Boom analytics

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

1. A survey of the fusion of traditional data security technology and blockchain;Expert Systems with Applications;2024-10

2. DTPBFT:A dynamic and highly trusted blockchain consensus algorithm for UAV swarm;Computer Networks;2024-08

3. Analysis of strategies for scalable transaction creation in blockchains;Computing;2024-07-29

4. The Convergence of Artificial Intelligence and Blockchain: The State of Play and the Road Ahead;Information;2024-05-09

5. vCubeChain: A scalable permissioned blockchain;Ad Hoc Networks;2024-05