The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

MLA

Alvim, et al. The Art of Modelling Computational Systems: A Journey From Logic and Concurrency to Security and Privacy. Springer International Publishing, 2019.

APA

Alvim, A., Chatzikokolakis, K., Olarte, C., & Valencia, F. (2019). The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Springer International Publishing.

Chicago

Alvim, Kostas Chatzikokolakis, Carlos Olarte, and Frank Valencia. The Art of Modelling Computational Systems: A Journey From Logic and Concurrency to Security and Privacy. : Springer International Publishing, 2019.