Synthesis of protocols for an unlimited number of processes

@inproceedings{Brand1980SynthesisOP,
  title={Synthesis of protocols for an unlimited number of processes},
  author={Daniel Brand and Pitro Zafiropulo},
  year={1980}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…