Cite
A Bisimulation-Based Semantic Theory of Safe Ambients.
MLA
Merro, Massimo, and Matthew Hennessy. “A Bisimulation-Based Semantic Theory of Safe Ambients.” ACM Transactions on Programming Languages & Systems, vol. 28, no. 2, Mar. 2006, pp. 290–330. EBSCOhost, https://doi.org/10.1145/1119479.1119482.
APA
Merro, M., & Hennessy, M. (2006). A Bisimulation-Based Semantic Theory of Safe Ambients. ACM Transactions on Programming Languages & Systems, 28(2), 290–330. https://doi.org/10.1145/1119479.1119482
Chicago
Merro, Massimo, and Matthew Hennessy. 2006. “A Bisimulation-Based Semantic Theory of Safe Ambients.” ACM Transactions on Programming Languages & Systems 28 (2): 290–330. doi:10.1145/1119479.1119482.