Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm-Reference-Cited by-同舟云学术

Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm

Published:2017-09-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang
language:
Short-container-title:

Author:

Shishkin Evgeniy¹

Affiliation:

1. JSC InfoTeCS, Russia

Publisher

ACM

Link

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

Reference29 articles.

1. Joe Armstrong. 2007. Programming Erlang: software for a concurrent world. Pragmatic Bookshelf. Joe Armstrong. 2007. Programming Erlang: software for a concurrent world. Pragmatic Bookshelf.

2. Verifying a Distributed Database Lookup Manager Written in Erlang

3. Yves Bertot and Pierre Castéran. 2013. Interactive theorem proving and program development: Coq’Art: the calculus of inductive constructions . Springer Science & Business Media. Yves Bertot and Pierre Castéran. 2013. Interactive theorem proving and program development: Coq’Art: the calculus of inductive constructions . Springer Science & Business Media.

4. Tim Carsten. 2013. Verlang repository. "https://github.com/tcarstens/verlang"

5. . (2013). Accessed: 2017-05-26. Tim Carsten. 2013. Verlang repository. "https://github.com/tcarstens/verlang"

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

1. Distributed intelligence for IoT-based smart cities: a survey;Neural Computing and Applications;2024-07-22

2. An efficient failure-resilient mutual exclusion algorithm for distributed systems leveraging a novel zero-message overlay structure;Computer Communications;2024-03

3. Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks;2018 25th Asia-Pacific Software Engineering Conference (APSEC);2018-12