|
||
---|---|---|
hal-01110877v1
Journal articles
Roundtable on "The Future of Software Engineering for Internet Computing IEEE Software, Institute of Electrical and Electronics Engineers, 2015, Jan/Feb Issue, 32 (1), pp.91-97 |
||
hal-00726448v1
Journal articles
Realizability of Choreographies using Process Algebra Encodings IEEE Transactions on Services Computing, IEEE, 2012, 5 (3), pp.290-304 |
||
hal-00913665v1
Conference papers
Compatibility Checking for Asynchronously Communicating Software FACS 2013, Oct 2013, Nanchang, China |
||
|