References of "Constable, Robert L"
     in
Bookmark and Share    
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: 89 (16 UL)
Full Text
Peer Reviewed
See detailA Type Theory with Partial Equivalence Relations as Types
Anand, Abhishek; Bickford, Mark; Constable, Robert L. et al

Scientific Conference (2014)

Detailed reference viewed: 56 (5 UL)
Full Text
Peer Reviewed
See detailDeveloping Correctly Replicated Databases Using Formal Tools
Schiper, Nicolas; Rahli, Vincent UL; Van Renesse, Robbert et al

in DSN 2014 (2014)

Detailed reference viewed: 50 (5 UL)
Full Text
Peer Reviewed
See detailA diversified and correct-by-construction broadcast service
Rahli, Vincent UL; Schiper, Nicolas; Renesse, Robbert Van et al

in ICNP 2012 (2012)

Detailed reference viewed: 32 (1 UL)
Full Text
Peer Reviewed
See detailShadowDB: A Replicated Database on a Synthesized Consensus Core
Schiper, Nicolas; Rahli, Vincent UL; Renesse, Robbert Van et al

in HotDep 2012 (2012)

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

Report (2012)

Detailed reference viewed: 37 (1 UL)
Full Text
Peer Reviewed
See detailLogic of Events, a framework to reason about distributed systems
Bickford, Mark; Constable, Robert L.; Rahli, Vincent UL

Scientific Conference (2012)

Detailed reference viewed: 39 (2 UL)