On Bisimulation Proofs for the Analysis of Distributed Abstract Machines.

MLA

Hutchison, David, et al. “On Bisimulation Proofs for the Analysis of Distributed Abstract Machines.” Trustworthy Global Computing (978-3-540-75333-9), 2007, pp. 150–66. EBSCOhost, https://doi.org/10.1007/978-3-540-75336-0_10.

APA

Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J. M., Mattern, F., Mitchell, J. C., Naor, M., Nierstrasz, O., Pandu Rangan, C., Steffen, B., Sudan, M., Terzopoulos, D., Tygar, D., Vardi, M. Y., Weikum, G., Montanari, U., Sannella, D., Bruni, R., & Pous, D. (2007). On Bisimulation Proofs for the Analysis of Distributed Abstract Machines. In Trustworthy Global Computing (978-3-540-75333-9) (pp. 150–166). https://doi.org/10.1007/978-3-540-75336-0_10

Chicago

Hutchison, David, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, et al. 2007. “On Bisimulation Proofs for the Analysis of Distributed Abstract Machines.” In Trustworthy Global Computing (978-3-540-75333-9), 150–66. doi:10.1007/978-3-540-75336-0_10.