Search for persons
X
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
7
A Typed Programmatic Interface to Contracts on the Blockcha..:
, In:
?
2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS) ,
8
Specifying a Distributed Snapshot Algorithm as a Meta-Progr..:
, In:
?
2015 2nd International Symposium on Dependable Computing and Internet of Things (DCIT) ,
9
Model Checking Chandy-Lamport Distributed Snapshot Algorith..:
, In:
?
Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems ,
14