@article{5719594,
    Author = {Sala{\"u}n, G. and Bultan, T. and Roohi, N.},
    File = {Realizability of Choreographies Using Process Algebra Encodings - Salaün, Bultan, Roohi (0) (0) - a - a - x.pdf},
    ISSN = {1939-1374},
    Journal = {Services Computing, IEEE Transactions on},
    Keywords = {Web services;data visualisation;peer-to-peer computing;process algebra;specification languages;CADP toolbox;Construction and Analysis of Distributed Processes toolbox;LOTOS process algebra encodings;LOTOS verification tool set;WS-CDL;Web Services Choreography Description Language;Web accessible software systems;bounded asynchronous communication;choreography realizability;choreography specification languages;collaboration diagram encoding;data visualization;distributed services;graphical formalisms;message exchange;peer generation process automation;service composition;service interaction analysis;service interaction modeling;service-oriented computing;software development paradigm;synchronous communication;temporal properties;Asynchronous communication;Availability;Collaboration;Encoding;Message systems;Semantics;Synchronization;Service protocols;asynchronous communication;choreography;process algebra;realizability;tools.;verification},
    Month = {Third},
    Number = {3},
    Pages = {290-304},
    Title = {Realizability of Choreographies Using Process Algebra Encodings},
    Volume = {5},
    Year = {2012},
    bdsk-url-1 = {http://dx.doi.org/10.1109/TSC.2011.9},
    date-added = {2014-09-15 08:42:05 +0000},
    date-modified = {2014-09-15 08:42:05 +0000},
    file-2 = {Realizability of Choreographies Using Process Algebra Encodings - Salaün, Bultan, Roohi (1) (0) - a - a - x.pdf},
    doi = {10.1109/TSC.2011.9}
}

@article{5719594, Author = {Sala{\"u}n, G. and Bultan, T. and Roohi, N.}, File = {Realizability of Choreographies Using Process Algebra Encodings - Salaün, Bultan, Roohi (0) (0) - a - a - x.pdf}, ISSN = {1939-1374}, Journal = {Services Computing, IEEE Transactions on}, Keywords = {Web services;data visualisation;peer-to-peer computing;process algebra;specification languages;CADP toolbox;Construction and Analysis of Distributed Processes toolbox;LOTOS process algebra encodings;LOTOS verification tool set;WS-CDL;Web Services Choreography Description Language;Web accessible software systems;bounded asynchronous communication;choreography realizability;choreography specification languages;collaboration diagram encoding;data visualization;distributed services;graphical formalisms;message exchange;peer generation process automation;service composition;service interaction analysis;service interaction modeling;service-oriented computing;software development paradigm;synchronous communication;temporal properties;Asynchronous communication;Availability;Collaboration;Encoding;Message systems;Semantics;Synchronization;Service protocols;asynchronous communication;choreography;process algebra;realizability;tools.;verification}, Month = {Third}, Number = {3}, Pages = {290-304}, Title = {Realizability of Choreographies Using Process Algebra Encodings}, Volume = {5}, Year = {2012}, bdsk-url-1 = {http://dx.doi.org/10.1109/TSC.2011.9}, date-added = {2014-09-15 08:42:05 +0000}, date-modified = {2014-09-15 08:42:05 +0000}, file-2 = {Realizability of Choreographies Using Process Algebra Encodings - Salaün, Bultan, Roohi (1) (0) - a - a - x.pdf}, doi = {10.1109/TSC.2011.9} }