Works matching IS 00015903 AND DT 2015 AND VI 52 AND IP 2/3


Results: 8
    1
    2

    Observable liveness of Petri nets.

    Published in:
    Acta Informatica, 2015, v. 52, n. 2/3, p. 153, doi. 10.1007/s00236-015-0218-1
    By:
    • Desel, Jörg;
    • Kılınç, Görkem
    Publication type:
    Article
    3
    4

    Modal algebra and Petri nets.

    Published in:
    Acta Informatica, 2015, v. 52, n. 2/3, p. 109, doi. 10.1007/s00236-015-0216-3
    By:
    • Dang, Han-Hing;
    • Möller, Bernhard
    Publication type:
    Article
    5

    State space axioms for T-systems.

    Published in:
    Acta Informatica, 2015, v. 52, n. 2/3, p. 133, doi. 10.1007/s00236-015-0219-0
    By:
    • Best, Eike;
    • Devillers, Raymond
    Publication type:
    Article
    6
    7

    CCS: It's not fair!

    Published in:
    Acta Informatica, 2015, v. 52, n. 2/3, p. 175, doi. 10.1007/s00236-015-0221-6
    By:
    • Glabbeek, Rob J.;
    • Höfner, Peter
    Publication type:
    Article
    8