A logical characterization of robustness, mutants and species in colonies of synchronizing agents

Radu Mardare, Matteo Cavaliere, Sean Sedwards

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'A logical characterization of robustness, mutants and species in colonies of synchronizing agents'. Together they form a unique fingerprint.

Computer Science