Works matching IS 00015903 AND DT 2017 AND VI 54 AND IP 2

Results: 3
    1

    Verification of population protocols.

    Published in:
    Acta Informatica, 2017, v. 54, n. 2, p. 191, doi. 10.1007/s00236-016-0272-3
    By:
    • Esparza, Javier;
    • Ganty, Pierre;
    • Leroux, Jérôme;
    • Majumdar, Rupak
    Publication type:
    Article
    2
    3

    A general account of coinduction up-to.

    Published in:
    Acta Informatica, 2017, v. 54, n. 2, p. 127, doi. 10.1007/s00236-016-0271-4
    By:
    • Bonchi, Filippo;
    • Petrişan, Daniela;
    • Pous, Damien;
    • Rot, Jurriaan
    Publication type:
    Article