The Concurrent Calculi Formalisation Benchmark.
Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon
VenueCCoordination
Year2024
ProceedingsCOORDINATION
DBLP recordconf/coordination/CarboneCFGJMPSTVYZ24 ↗
Browse the full Coordination paper archive.