2013-11-01
Rational Operational Models
Publication
Publication
Presented at the
Conference on the Mathematical Foundations of Programming Semantics
Additional Metadata | |
---|---|
Elsevier B.V. | |
D. Kozen , M.W. Mislove | |
Electronic Notes in Theoretical Computer Science | |
Conference on the Mathematical Foundations of Programming Semantics | |
Organisation | 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. |