Works matching IS 09601295 AND DT 2015 AND VI 25 AND IP 3

Results: 7

  • CaSPiS: a calculus of sessions, pipelines and services.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 3, p. 666, doi. 10.1017/S0960129512000953
    By:
    • BOREALE, MICHELE;
    • BRUNI, ROBERTO;
    • DE NICOLA, ROCCO;
    • LORETI, MICHELE
    Publication type:
    Article

  • Abstract delta modelling.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 3, p. 482, doi. 10.1017/S0960129512000941
    By:
    • CLARKE, DAVE;
    • HELVENSTEIJN, MICHIEL;
    • SCHAEFER, INA
    Publication type:
    Article

  • Model checking usage policies.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 3, p. 710, doi. 10.1017/S096012951200093X
    By:
    • BARTOLETTI, MASSIMO;
    • DEGANO, PIERPAOLO;
    • FERRARI, GIAN LUIGI;
    • ZUNINO, ROBERTO
    Publication type:
    Article

  • cJoin: Join with communicating transactions.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 3, p. 566, doi. 10.1017/S0960129512000928
    By:
    • BRUNI, ROBERTO;
    • MELGRATTI, HERNÁN;
    • MONTANARI, UGO
    Publication type:
    Article

  • Security monitor inlining and certification for multithreaded Java.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 3, p. 528, doi. 10.1017/S0960129512000916
    By:
    • DAM, MADS;
    • JACOBS, BART;
    • LUNDBLAD, ANDREAS;
    • PIESSENS, FRANK
    Publication type:
    Article

  • Attribute-based transactions in service oriented computing.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 3, p. 619, doi. 10.1017/S0960129512000904
    By:
    • BOCCHI, LAURA;
    • TUOSTO, EMILIO
    Publication type:
    Article

  • Preface: Special issue on objects and services.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 3, p. 480, doi. 10.1017/S0960129512000898
    By:
    • LANESE, IVAN;
    • SANGIORGI, DAVIDE
    Publication type:
    Article