Elsevier B.V.
D. Kozen , M.W. Mislove
Electronic Notes in Theoretical Computer Science
Conference on the Mathematical Foundations of Programming Semantics
Computer Security

Milius, S., Bonsangue, M., Meyers, R. S. R., & Rot, J. (2013). Rational Operational Models. In D. Kozen & M. W. Mislove (Eds.), Electronic Notes in Theoretical Computer Science. Elsevier B.V.