Works matching IS 00015903 AND DT 2022 AND VI 59 AND IP 1

Results: 4
    1
    2

    Session-based concurrency, declaratively.

    Published in:
    Acta Informatica, 2022, v. 59, n. 1, p. 1, doi. 10.1007/s00236-021-00395-w
    By:
    • Cano, Mauricio;
    • López, Hugo A.;
    • Pérez, Jorge A.;
    • Rueda, Camilo
    Publication type:
    Article
    3

    Sound reasoning in tock-CSP.

    Published in:
    Acta Informatica, 2022, v. 59, n. 1, p. 125, doi. 10.1007/s00236-020-00394-3
    By:
    • Baxter, James;
    • Ribeiro, Pedro;
    • Cavalcanti, Ana
    Publication type:
    Article
    4