Software (theme 1)
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.M, Meyers, R.S.R, & Rot, J.C. (2013). Rational Operational Models. In D Kozen & M.W Mislove (Eds.), Electronic Notes in Theoretical Computer Science. Elsevier B.V.