Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks

Open in new window