Imperial College London
Dr Steffen van Bakel

DrSteffenvan Bakel

Faculty of Engineering, Department of Computing

Senior Lecturer
 
 
 
//

Contact

 

+44 (0)20 7594 8263s.van.bakel Website

 
 
//

Location

 

425Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Barbanera:2017:10.1016/j.jlamp.2016.08.002,
author = {Barbanera, F and van, Bakel S and de'Liguoro, U},
doi = {10.1016/j.jlamp.2016.08.002},
journal = {Journal of Logical and Algebraic Methods in Programming},
pages = {30--76},
title = {Orchestrated session compliance},
url = {http://dx.doi.org/10.1016/j.jlamp.2016.08.002},
volume = {86},
year = {2017}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - We investigate the notion of orchestrated compliance for client/server interactions in the context of session contracts. The orchestrators we study have unbounded buffering capabilities and, besides never sending messages which have not been received, are such that any message from the client is eventually delivered by the orchestrator to the server. Moreover, no infinite interaction can consist definitely of messages from the server which are kept by the orchestrator. The subcontract relation induced by this new notion of compliance is also investigated.
AU  - Barbanera,F
AU  - van,Bakel S
AU  - de'Liguoro,U
DO  - 10.1016/j.jlamp.2016.08.002
EP  - 76
PY  - 2017///
SN  - 2352-2208
SP  - 30
TI  - Orchestrated session compliance
T2  - Journal of Logical and Algebraic Methods in Programming
UR  - http://dx.doi.org/10.1016/j.jlamp.2016.08.002
UR  - http://hdl.handle.net/10044/1/83313
VL  - 86
ER  -
Download