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

Results: 7

    • 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

    • 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

    • 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