References of "Guaspari, David"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailEventML: Specification, Verification, and Implementation of Crash-Tolerant State Machine Replication Systems
Rahli, Vincent UL; Guaspari, David; Bickford, Mark et al

in Science of Computer Programming (2017)

Detailed reference viewed: 142 (4 UL)
Full Text
Peer Reviewed
See detailFormal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML
Rahli, Vincent UL; Guaspari, David; Bickford, Mark et al

in EASST (2015)

Detailed reference viewed: 122 (16 UL)
Full Text
See detailIntroduction to EventML
Bickford, Mark; Constable, Robert L.; Eaton, Richard et al

Report (2012)

Detailed reference viewed: 53 (1 UL)