Treffer: Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level
Title:
Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level
Authors:
Source:
2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS) ICDCS Distributed Computing Systems (ICDCS), 2017 IEEE 37th International Conference on. :1586-1596 Jun, 2017
Relation:
2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS)
Database:
IEEE Xplore Digital Library