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