Baidu
map

Orchestrated session compliance

Barbanera, F; van Bakel, S; De'Liguoro, U

Barbanera, F (reprint author), Univ Catania, Dipartimento Matemat & Informat, Viale A Doria 6, I-95125 Catania, Italy.

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017; 86 (1): 30

Abstract

We investigate the notion of orchestrated compliance for client/server interactions in the context of session contracts. The orchestrators we study ha......

Full Text Link


Baidu
map
Baidu
map
Baidu
map