Developing Complex Data Structures over Partitioned State Machine Replication | IEEE Conference Publication | IEEE Xplore