Works matching IS 09601295 AND DT 2017 AND VI 27 AND IP 7

Results: 7
    1

    Bisimilarity is not Borel.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1265, doi. 10.1017/S0960129515000535
    By:
    • TERRAF, PEDRO SÁNCHEZ
    Publication type:
    Article
    2

    Enhanced coalgebraic bisimulation.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1236, doi. 10.1017/S0960129515000523
    By:
    • ROT, JURRIAAN;
    • BONCHI, FILIPPO;
    • BONSANGUE, MARCELLO;
    • POUS, DAMIEN;
    • RUTTEN, JAN;
    • SILVA, ALEXANDRA
    Publication type:
    Article
    3

    Smooth coalgebra: testing vector analysis.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1195, doi. 10.1017/S0960129515000511
    By:
    • PAVLOVIC, DUSKO;
    • FAUSER, BERTFRIED
    Publication type:
    Article
    4

    Practical coinduction.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1132, doi. 10.1017/S0960129515000493
    By:
    • KOZEN, DEXTER;
    • SILVA, ALEXANDRA
    Publication type:
    Article
    5

    Well-founded coalgebras, revisited.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1111, doi. 10.1017/S0960129515000481
    By:
    • JEANNIN, JEAN-BAPTISTE;
    • KOZEN, DEXTER;
    • SILVA, ALEXANDRA
    Publication type:
    Article
    6
    7

    Foreword: special issue on coalgebraic logic.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1108, doi. 10.1017/S096012951500047X
    By:
    • DOBERKAT, ERNST-ERICH;
    • KURZ, ALEXANDER
    Publication type:
    Article