Cite
Execution Models for Choreographies and Cryptoprotocols
MLA
Carbone, Marco, and Joshua Guttman. Execution Models for Choreographies and Cryptoprotocols. 2010. EBSCOhost, https://doi.org/10.4204/EPTCS.17.3.
APA
Carbone, M., & Guttman, J. (2010). Execution Models for Choreographies and Cryptoprotocols. https://doi.org/10.4204/EPTCS.17.3
Chicago
Carbone, Marco, and Joshua Guttman. 2010. “Execution Models for Choreographies and Cryptoprotocols.” doi:10.4204/EPTCS.17.3.